SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info $' tt ] ConcurrentIMP:threads=2elapsed=22.285cpu=38.028gc=2.180factor=1.717zXZִF! :]ŗXf1-/6vRZy-`}$=O]a0_(0hzV_lR\rAbG,J*pF谯lkrG dKY!.);t~璩Eg[&Az/yz{X)kYj jtƦ&< i N; yq'#=2v2CLPfi#o!'tY!͢(HzͼAܑQ5K'bKD*)wc 36'&Qw7w 1?V{ 4tvSKًJ%ʪ郧ƇC'Wg%gYZ7zXZִF! ]ŗXiɟv QnxRɢۏD?wI,nT{'D*n3O VG'j& 94IZDPp=gtUfٷ;n_=D#iIZk$Eo<Вց.$"͗g n8LZ+; cU$%5ibT7/sukH\97z.,~}-AM_3ͫ0Uֆc%"e?eWx =at_̝=A7ӕC'TK/`.hSW\)/T'+;J <Ia0՜ sj9S׫ =5P@sk Qλͥ (&/$zF(aiV6Qq!`ls < ,5d ۀZw)>i1v,t1CfárbX^8銫0jܾMi]V7O#kmP|nNCC D݇@:bBGCJd Sv 9U?tZcѝ'LʡEzrtV?j:=͎?ዀ!l5- `C7[m`ˑ2 n[bS>5'$vn\e&r~auULcDl8E՟Irw@1afe5̭kGzΦϛ1n6A"bPUjVUK886 ^ :O9ly&хܗio[S6Wz YK`s4C}=`DWFz?F@WOs0#BTSF]4nؿ-l$M2t%c)tPXU {8Ww}SOa~dZj!-MUEMʨ)-^y+#4 NV-cMHnCNx6uc%=[F@j 7Rs9G}SVoɏqq0,9OkKi!9YNIo> @b !2Qp)CBi,FHB. CV Z0rV!$#h鋴AN%WYb|:n,ÂoLœ{ P~qJbBZ:?*qn̆.z՜$?hF,yPVXBD”*m7 pa%![вnS e 3&^fz9|]noxU}žI ؇ܮR1H-o )%JWϔʙ֝c{iFxԪp5=dKs&\vt)w#|w@rwDZ'w& .ǀeCaYj~QsL|aYg