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  B \T ]/]Nominal2:threads=4elapsed=22.078cpu=82.960gc=3.860factor=3.767zXZִF! -]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jnSlz ; UNSVWA2) fY8T"qv?I#Q0xOU#gDrTHɹ7"{7Ńų'Pq.q#E}#8Q%5corIDbOWHJyceRKո8KJ^|{=aCVAc1]Q{/aW:<P,5af0NYЩ'7}-ݶʺpN ~ɓf+Nj/ oOxq=HeZ>Y1"lW=>+xQueX ҆i!?z ' d$_lT>4֗sɣ0!Yo eWIV"3u:j1K;t0i AkuNԯakWD3(z֊\Ps=3wFifoILH3rAe]R Y$yHPD7s}|J0BW+F_/~"hݡ2uh͗*ڹl4O&LGeӗ?G.\ҹ=mA슡Pb^EN<>GV8K C\{hަwh9 6`xs1y?5` dDw 3:YuҼ !5D-T8_ǘ+<(xlleQ,[hB]LH-iM D?z)J潕cH ve@&Q4h=uohqQ^7hzv 4Bl& O'@3M|cikj*D* xpK rH}5e~J6ԦJ6s`QebX,Z>Z [KgYZ7zXZִF! #]ŗXiɟ1˦r.Hil c`1X14'q?5"6Uu7&=O|;}0௚os##BA8QgjpFA$nLf8N?䖏Q,ՕGa=$O.C} z08ʧ`ul}i~e)vxui!)1ON%|me}|F ͺ'ˁ2FIgN51B—(IN/+vd} dv{;g]9ͼˮl+R۱ r,#OLAv^G}k؂`Lntw ,z*CU@(1J,dף T gYZ7zXZִF! "]ŗXi%I o挲}30JUё"ZƄ{Ȁ*9 oG#'ʙ.i2Bc ? M.!_On?s'`䀣tޔϣd]{uV {\Op70L|ږZ((7|D؇am&%xpP\%6MiJ_S< 1<#C#Tt9_v9j9M=vyyxdb6vz1[CȐVJE|r;NŒ V‹kK_=F48%6a&cdr+$4XgξK[QԨЪ!NUs:ʫB{}+H6o36-q(uךeő1oɥK 1N7wFڂ&]]|\tDY>꼦m>h7,E4ʧO°R)?)*u"k`hIk\ukuNO:BFaLzGdf`$N {N?BLˤ]P (^C#.i(؄Qԁ,~v\$)O0iIL2QdfF%[,ᦉԴEG+!E89#$W]B|f& U2œ96LvV[nɤ-V8b{-: s;KLKB R\cVJ3 ;Å#2ty,\x.c-NHdԱ#I `wψmeIJ tP9QI !OHU"J;cl|na)$t/ c›0zB7lN,->.>h1D5E_1M0*/sp|?Jvh sYØG_pCHq(JV_9˖@2ْnG~C`#JOb;RiR{J O"Hl9?kfƀqQ*)|"kD9tӣxүj]FBᆠSSGiU.?kC}3cV4r7& J&oNq;:յؚǮ6;eR-O,Iq,2S#|$#vV 򆠍ZNVmZzgZ{ZH4K+lnzG' /P#p3J񉺅BG]-FmB r-H9ۈN*7]^t/s@s"$nIDNYO8e.w?_GR<ƽ61'0k53f6jTiΥH9A$KqF~ޡT4 jCW& "zEF*+*0cX(   GCO`}M4a8[=Y^u`,rUVcB6CY{r-6N_a ..ޜ߫tذ)RqM( HWc時"YRX'``X6a0ْBGH^FsuF28]xY5/7eC@cDg1y&[ "p|D׉Y3Ͱ'(Ekx.nWeKxNb+i#;HUg!Ac';y ާ#Ȅ{l0(O1EV>U fwfЭqB`<;GW_]'/uBʕx&j;8jn}^qj O;3ddb(/P\c`dNmb##a4 QvDN-8W2}d$a2ɥ8[c`ﷅxu