SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 #+ t4 c/ Euler_Partition:threads=2elapsed=14.412cpu=26.392gc=0.960factor=1.837zXZִF!  4]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-I*' *D9zNx`^HRQ?oT:L:~LPfjڍx֨;S!+ -Ikuك#nIQimjk8ugH*Hȫ$QogݮD44C"o?Lz,BķAw4ݥvDU!B}oAΥy틂/؆@aZ ȴrW?+B5f;`SnA- rSC}Q2Ÿ/2'l⋸y*N½jR^ PnUW![} 5詠De-nu֡A-S&iRI(ٔ0MW)#;^C|c*>#ٰ%Fu'$XV $bEࣔ~Fz+Sߟim8 ƞ¦hVwԲڏ-rlhD$8OΛmjfětKDz?R pP(82E@2h؏U"yHaU;oKel83,.vлE2# r!מj!W Z(4XA &"giaҾ,UNǀw͇ 6݃,$t@fZ͐7@[zGՈs<bo$Bܸ$۱<i6G/oY蛛cN^-"z8)ZB=~Iy-?!?DLEo|vH_Hcdls,=kcFA>}MUa,F _KHC'mVbK}i @J[[:9,REpRa6;/ԓ1UqTggXr4kݭgxXu;F`S9g& \-,>rчݩj]P:,96?:/ *< uK,z^h XZU5T]=")*3Δ,y8WO?換Igg.,ء^M^("go:#gPM< ;9]ЍQ9@G5 j(J3^`&}D%fT.㾍U]dk]&H4CslF򰻢ЩK