SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 V $ ]]]ZF:threads=6elapsed=12.824cpu=45.536gc=3.408factor=3.557zXZִF! ]ŗXf1-) enȈA$jB80l,v8-qFN}yƉPҡ.$[e)C$Ux9xvےW{?z=&y!VjG-lW3%iO@/L ^3O *FvU*0Jeonjiy!arU)\6am[4+2#x;!CFq͖f|2wi6t}f]9$}|$r8}kO #tN% 32m. ^e/j_sDrkk|/Ac$ԧPJUK('/rY;P"[i8cyInIQ5)̶YY_& /|SȆZnWBfو4uZ[sKea_̬G#)8Ra -B:rΚ\Mّ+wǼCIWaIߟF>lo=bl 3q dh܇Ύ*\Ic:B`nP5e]laCʠՌ@ })0Wc:t(1#0 _7Jl%|_\X1؆"FY`9WŹe7Oɱ/($Ā^ﰉװrWGr|mGQDE wAF ٥ )kGXE[eGe==^,yBU)"hi7Ҫ9mshGBTAEssl iy@gYZ7zXZִF! >]ŗXi%>}'k 5'I3xBI)1ђQ6Y@w1*#ԡlsBBW6ˎ,k2⬳xC0iZ0x^O͟/]W2ڀlBzRח&bN?[aN;&!E'!^NIŭu[]ۘ?*C7B;ɌWXM~zp<EY] Qtc@(BGwo{ZUAz:uMLLs)~%[A-m=6Dl<${^Cb3㌢6gtZ2 &@ Dc _傠ӣBC%6]]r1}FRqoumo/<-ɓNw)wdYXva)$ ;H}ɶ [ K32+였#MUN颵:6DtY|f`N)Q4L8$>`H&MI.ܠg X'O;|Iw=vb>bv#=>]#B8jx+^F561.9klK5@8?\հSpe."y