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 ]; | ]/ FocusStreamsCaseStudies:threads=2elapsed=30.513cpu=48.716gc=1.608factor=1.607zXZִF! ]ŗXf1-/6vRZõ7ioN]*meV*5/g9Lcp37dK(L%aL$[6nIm?dw.#cě&S9r$ -FvH&0w-;1/}J Iw{[002tJ{~F[0l t C@Q#d)Pӕ" ˮIM#T㚤ӟseq@xEݎ-t>q ="XA\KCrսfwDaY"mAki:/X Ooe[wwJC|P`/I%6 &|} ؊z,l1b6 ^{/U re~i9z!Lnf}ɓUrE*K萒Wyd;҇i>CRce' 5UAni]Ul|_}L B\lcv!Z!fs:hP`LD=PbTIiM2oQeyMl8._;($4뜿"`&h\Ooԧ8$ ->a1 ,%_qCP_R6m4헶$L"qv>yu8p_-l35?$!gYZ7zXZִF! 6]ŗXiɟ/L526غMp9έ!sWC; d/4yKњp\LoPfc.IcBaG]hi&N.}!t[ȭF(%CuD}b(h: \W NgYZ7zXZִF! ૣ]ŗXi%>gr9HtO4AlC[i907!>Zi3n},3AKeRo| 1|F0KOc+ qV7Y&\C\I9fvꀂP0w\\j9`sHA;`!Hց'`=FF y:W1G>&*ܪ ɴRxƨv-_@3́;,t?gR"-ƃ;(&YER`("S$A&+;ߝ7AϨ*KyӴd:Ȓ$x7|.v7oAG}*$XtdM1?[YI%HnZUCiBP6 Dž]iÙ[3GO)E1H| 9 >!sPQf9xIxN|wKD˭6]Dt<ϭBfV̅&kR,3{،q!9Hkq6v&)ơU7EhAjr\´(g\jY;&QOA4ܾ17-6 8Ego{r):wdY9VEƌѺ a?^αh_BKu碢#b-Q|mcJ#([^7f٪F9"9"Bu^HFiKSkŝgګ PSk KbЁߺfWTh+c)%I`T(웰{7n=;B$'ʡ6f]3pȄ :@*lw"~U(޺%Ѧryj0FgXg@2 Hv9CXZ$و&wI.K~K=h;yt>A4af)-&`Vªlf_5o,R)y4j |Ua_L0B,_-kekXѡoB7#Kz `fF69 =xFdZhqe A:Qa/ue=6Ref#wtCj<7sZ)Ɏ\Edb0{ DwFcj'.D ܥ)`zq(!A\nd(!(P1;ڸo迓trL~(.~d JnH{/{!EbH |0l*yլG: }yj<1Ԝk,H.2B]X%aL+}}yxB|9b!kBfJ9Gj$)'C_&Yf[y?fuO*è qҗph{b,~( |DRj5PH7Nޟ2t8 }S)!K 5c-c SA-{n3yuS-R.b]@iF&L˲פ~Gn\C I|j1gFu#O".n~ZyYȇ?@uH2LJz$zr%cŕE/HAa@LR)YR) r?cnbW@&%,%tG4iW 48沤V3g:1BTC;LPuҶOo^aZ>BB`%q??f W_VEE|k)P;b ?[HGGs[Vͅf 89}]:N-٨հ6Ml։uj4T`>iը1 N孳f+N'H}8q{]`)>0cLJf|2Mh#E[[W9D4S~/GRɏ\}c!-͜(CHfo8M@[Hb/$)M=T ũ(`@Ttl8e^A'M8DHgsKt3_yy9䏜->')]v];TDQU !P)J" y O1҅^%fTq1>gK32ڟ'|-Lr88Qd'Gt*{J;&?T!\T{oGӥ}`k~QvZkEh