SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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  T T!!pT | ]/ List-Index:threads=4elapsed=1.933cpu=6.420gc=0.1527zXZִF! #]ŗXiɟH)0%o]Y5DM3 !ߩD4SWSeȭlx,"}!BgA?SlAև6j,k szW 'e3Ig|v +/$8|kwrF-;RA$ٿcG@,{བ/02{όAr‹`XRxr-۸b&R@{]0h@|aj~P;@w9;b 6|slV}J =K!q7LPq9o6alQm?&7$@Ƀ3/%~t%wPױ:jw`N5cħ%avx  u5뗏z+ ~""ON/ gx8]h~*?I$/rV茄<0&Rз?M`me+g7h/<ɤ5PjFAs]kt ôq K:æ ّvWWGZ8fiO"{IKp*LloF*z~lV*G6t z,N 7HgQA9bv+b4Fyb 8L 8"Z&+ЧXSmstsHI(}R,3R= ofl|DY76:^܃NtZ3UػD,6]ajWHd&EɌ UUl=$|" 9&v|M=U՛o`Ka`0Ҋ:j U3fr_QZvhv,U+*^yу;jT`)x+ɀxCO ʆ!KbCS F7Ӿ+\Dw#'j|ɴT5 <$Wh]B;_GvsH?3wqul.݋T:)2#>Rid0sE{WIἳUkNuY|N LL{ ڄ(^q4z5Lo  N1³IT ģaU;z 8b(W =Y|GW}|cobŃ)kwۜF~{iFs/+9`HWX+ϖ?*+k]tfz#)"7cX}Sv^˪\+]kC9To/םs;ooFX[M5R*@%"H4#ӫ9t3rq.Y YTNUKA+],5wuvBir2n])`\c]`邔c}n =􂧦v۸ A1_H]*~^9` 2RY뢤!>BNR S'*e)TTHT蝡c!.Vݻ(luc@/0}X 4]{9L?/A+͕h$tuU7iNJ5!CP1jwlؗ+7cm1|7a B! cNR^|NB\*Gy/OdL&RL_||?8VҸrz9am=1#ȑ S#gq[IxH674 by*Bӳ\Q (#z(3$;وf{ÎE0)Eg0-}Jav*'94$N-]`wM)N $YX!x 3dIH66+]bZR1dF~ٌ) :DXڌ=oCKOù]yQ)PY%A"KH.dc˘#̽ /Кfz`oAg,+ԞRW䉘D?8 6W0g4)#(mUF: b#KZɤ7F 0%Fr~(iD5ffq< 80u X'=*e}XSD! f>ԐdWV<7bLgGeSMXipvj#iTMFS;&ܻYv"b^[wbJ4k,!D|euBE{PtQ;)F1fQyΆ qV= xOX|)F33cfjO8Hi`}ZR9g4("Rg.v1~h?B_uKU,785ѢPyqphm>#ϴAݍyc`NxE ;ܟ-b2p޹E゘3[fT69 4"~?H<:d}\|0בCW"ػ]gYZ7zXZִF! IC]ŗXiɟFTp>>cP$qXLE۵UMX %kKV킑a\}YZ7zXZִF! ]ŗXi%L&VSCz%o<F5/ ~1öҩbMErTrH8[u׺ \bpl%/RDyș0<\\f zM 1}9/2 /i[oϐzeǀU.kcMLl|в%P1"}nAΟŵl( A~r#J4"?ac= <v{yCJ+0W2 DF0Q93hﻵDM2W1TADڲ ǝ!44OM fFK_clh[N}%$:d_b>̰fi`C6alT~N⿣gO8M) OYV-Z)cQ߃WK (=e MPS }SOk5