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 W $,d ]/ MiniML:threads=4elapsed=9.312cpu=19.508gc=0.656factor=2.107zXZִF!  ]ŗXf[&M_4.F$ܙ:(a āšB~e }Th:z@}~kBu_V>x|8uSN5-OD.|d) *܄9\M 0-qʪg:9rmpG!_TozM-4 ՠ`1$IGN+" Ψ+*4o噴$følb<!XB6Us0K" GgYZ7zXZִF! ]ŗXiɟ"xS2}YNd F@?l4&oOEg%gjȺ2I9~q EY(h)Xs\ib·y:-a:BUbIgYZ7zXZִF! H%+]ŗXi%G̉SΨ)`>9AmAW''9#[ 7gJmѲ 'J2J.l˺[rxF*[l]Bnt,b-իl8#/ANkm:`J"S`%v{ihVv/H)w51]{mzqD;6J.=JYM4۶/Y@Z@["u aU+JYvO'tX9#NJJ5K2S0ptNoA8_"&}Uep)̇{e.|&FiJx:.[Tg&g{z 1zq =bD#Ta(%g:T"v@P~I}Cifu /'2L0 ̈́,anvA9dlߕ7W}F)[;AP?GPZGÏp"T QgIQÒ[ \Vy=1C}Gho&}*W}3Bh)ם9Bݓal cµVέG@Ǧ0f׋RJ3Cv/<ppI,UէG{JU| 1L7JCE>A L\{s97=^)GQw ~WmRYF ^’1Z?*mMgQׯ211 ;5 P#,&2~f-nҍRnꖼ,a7e *E.Xj$ƀ5Fteq䪏yί&sݖ`kdؔ"'A9J79M/3^Ħ%TS"i~fTڥk2fCn 6( C_I?:S%u)`p~w-? e5 Z@@,&kUݨ7=ӵb.%!}ʘuNo9x괵C(rQeZ- xqHe5_7~r0t)}D%=D7%#~/đUe:̳ |AiL_( w