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 ZZ# 44 ]/]HOLCF:threads=6elapsed=12.714cpu=40.860gc=2.712factor=3.217zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{Vd޶*h 3S$PעYgɞO ; "꘭~,T+NRe D0bגӸppyNN" kiM]E&i]⤵9Sj˱$MW5"FTQA]~CҎͭPRL,R1 BnM5"8D츣MFt6׻Y܇# {OLBb/WoɨK,6Y <ѿ6ńrBU0_ հ$o%"5%8b؏!. .y ١j <ƌZf&) lՕn:[~6:KmOzP᭚xh P(཈U5Iu$֣Уyk̆oDН+б!igYZ7zXZִF! Q]ŗXiɟ>Ӈɇ9S2]k5UOi}-#Eg9tEAߢ=X MDoUp흧vG:ɛtJ+֗밈g>Ł$v+ty9*)Z-5oDTP3e,Ko}-K|L8X2M/rBPɁˬUooujA P [zx$co&60@8ѭ2[(F=?T@ &zysA>)WIpM$y"Cd/.q2z+VoHfwqFꎶ}_Lgn 5 :im%;y-v6+/(VX$>"'>rt@v_F,}G,P#']43A?%M=9;^@ܝq\sۛ(@idbo5vҙcԙK n:Պ @Nw4 Y# U4҂@('b 2PR'LYCZ"G.gYZ7zXZִF! E]ŗXi%Jҋ DtWQYF)^3fYЭj}{0v [#[Ku~nqT, 4;gnYggK[-׹z >=wp">0~Dz(btU!bLq"Co+AXˑ:;>~g|7)HtZ"b"Ob9-0Yu .J3w% R$W-Oux tf)(q9bn>R#/tQH.]z}/0hƧi82?]DDŽ=vceVʗ6nY \/B%! S& w@32 5m6x`m9}o^i  A0$Z9Xſń`h@s񤚵o2xKp{~F+RcYNWG UFq>NR `=bDE>এ.)r2쇮$pcMFd$Qޟs N0o8DP6["$)GS0n  g3 `+Cp