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 J% |4D ]w]Sepref_Basic:threads=4elapsed=23.550cpu=52.660gc=1.816factor=2.247zXZִF! )lu]ŗXf1-q恈͐7ӺV .?2ZfZu'Q1wb^1䒜ʪ3b/ 8˱#ɱ&C){[DU{2!)`\/S>.ضV ,pnPhgCAU8ELo.7du\ #_Ke^1TY$ о L N Uӻ.9KB+a8ӜE* ƾyK& 7[5%v4jh~idlXfdQ\WMmcKj]"3s@K@aXs# S1Yb"duxlNSiMrOE8y j׍h>͆5Fbo0faZHnEZ1T,0 RqRSgYZ7zXZִF! SS]ŗXiɟi%3( d+%jh @QNn뫘|4Me>Tҩ]L[p LŠLu }k!%Đ EjuN71|KtwJdcmGo% .$UТj?[0~} |))5b@摊)M #Bm/歔8j?-6i>gk 5ۙFVF^brAl%1[&Y*Z$f̩J/xhm_6x/ ԗޛ+bƠ,(ʡfXGu|q+<FEt; |T/CH`k0άX)PTSlz07fcճW=Q4z n #k [:,o)9,TXŇ/6i4# H Zy C*TL673T!LUbCsfmDq<^7?[VmRI*i?/|9-dVc58~Uݸ]G@SGINַoL9#w8dr ŠSggYZ7zXZִF! ]ŗXi%L /Jv[2w UW$l@6R|&g6Q >Priz3./u19^C.䒶?" ~1q]4ȑ14َ̩<Ct.8r ɂ{64-o[ǪU |/+ 2&Uc+SzRԙ q*Z=j⽙ N@Ӛ?i-7ZY>zN[|_LBj!YQzs6n:_ӚØ}yFv?du_+sb6Vʭ}'T2'n6逃@"B>u/2Su8 ٛ1(Xooi$Slx@n.!?=GOp?,Sea=4{HxuZd7bd0.0#rJC:@.xXaY b6-V懫%HUhF m>rQG2O<\sy"HţGةw  HGEʹaz9 ¨1Љ@bc4QMJASŭ҉sȫ^b8kS(BSY Х.-4 )}dp_@K6EAۉ80dEƬ$~(,+а!i Gk4zG 7Q ۶,GC(jLO!OU؄ wl>ù(h%kiBzwHПz I|]̵yƌ5SN AhC\ )JWRLI|nϋ?GV|u\(S^MB2OԽa&j6Aլ={,a Ve ~ņ{Ek*HUt%^Vȝ҈ I?lF+S.: o7ə/vgFfr{:`V~e'e=C]>DWlg|*$@LjWcv$CŽ'a1cutp|h7'",V'"=UI &.kDkhixw6I5˻ЦB$S5c(3>@ X`wVXMW8ˆce~EQ LmD \KΆSk5fM[E5!n2X 3ޝЋ}kDv9ROY5 w9Fk- .CHcǤj]Sf'HK j(0\OD8}~k6Fo;׌i'28aZD↘%>$g&̠bSZ8#+nYP 씕ٻ4{0J4]\t[arEI>FzԲYoB-rχBTan0' ''.*O7{ % cuWx6dG !GWf-ȥtíFtyy ~cT]C zTTPɞ*W7~2}W=5'M󮎦Q&|?Ft+s[ya"ح"Pz"9G%Yճ л(sk6+DU``vd=??ř8B,#X;H?\}j6vGE1lg8t-DD+Exe 媫le0 5IXھՒ6~\ HeG3 \@[fu@R8&-IAgYZ412db005f9a4928dd6cc8455ae8013337d330d15d3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 e41e34dd2653d34a26d51a619d5ebfce818a4545 31a3753b20b0f5487f78ecaf6a279c6859063265 7c1b0dafd4f5b403cea11b8f60a3c07a09a135de 3a292094088f469e7507f3aabfba3b8bb7dca8b1b721b7a59f62799d31ef6d1cff7c9e2f1594ff5e