SQLite format 3@ .0:  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 4 T ]/ Huffman:threads=4elapsed=7.731cpu=20.568gc=0.320factor=2.667zXZִF! ]ŗXf[&qأ8<±0LB]O& ri=Ⱥ/pY¶yafm4 h(:-P8$ tC˥7bF< %Z=ScvƆ7+h㶃Zd,ߘG.t0 C *Ϗa!_[q7*{-J*tPA#i獐68kɣơF˂s{蛜Y=dBw}üIX}f&+)rD)yD4=2%ӇƼ@SLd줱8}]>%SB寭~ a~h֕r?VИAgRE0} WW-^q p#]Ēצ$oۣ}j=H)uyN|uSgYZ7zXZִF! C?]ŗXiɟt0sϘ ECS>ך7#PO۾W aV`;)[D=x}YZ7zXZִF! ?]ŗXi%ES3 ҈%%jjPd`2XW<;i W"1cQX2x|4~ _lP6otɑoJOe}oy{]ZKڱO-mH,?/fg& ovdaWeEZTzF',7w0?&ŒjBA# &DAg 5;DyCc;j2(w;;*X[AT(JHv-}2#b8Ff݈omH2k=rӾ ςGk8,tixI-U[Pj!IE^v>;o(:޶:Y7Bh45RSx|I ⟫=1l\'+RuNlFn3O"LjTWRȎoJ[@=x ],u#ܩ;TXYJ`!f,6ٕ*\BxƟ~ӷi7mwxrN-KOM[Hp[ Fߛ1}$G%s9k˔ﶍOE;!;Jd xFb)yf2+}xCЇX *Ԅ3sѰYVn9&*8ѡ)!}K}o6qV5{# V~_y*3\h,U7S\nI.UĽ_DpcosmأenĆsVhNHijPZ[xx`;{/[r]3a[/U|"aNQNVyC{ƶ Y$<ׯ#71>DXUޟV~v1Fqqs7 rVgYZfbeda036a7e1abefc576dfda3f934f781679e59476b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568   Huffman