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 *1 D|\ ]S HOL-Probability-ex:threads=2elapsed=40.002cpu=48.840gc=1.520factor=1.227zXZִF! ]ŗXf1-q恈͐7ӺV ;Dg[ o83LͯJö_!s[ZZN U= $O^2rːndREKǺr*s‰' %A[4}0yr]BEs, DQTt=x2J$tJTހY+\ЈrH|yofkJQNM 4I`g~4=SwS{O ,fܫSlj1}Ȯ5~\\ZG2j D.ü)2cx 8W)'9 t/[tcg JrfG׼sq]mlf MlP>&PO" B%CO__TL#_UV2߸B&=F.ۆ0b^:WHͨ׆@]6P <8ڃrzO;:fYgYZ7zXZִF! ྘]ŗXi%>gWqŽcNq*X$@}vU"⺇m &v?M]cW` "?s(=^ Sw*7en./뼾pN-4k<έЂ SiIQ<nufɰݘAEDb,+f]6SmD{DKv"HR @Wf~5BFWh3.KGӿД~71)-1y3 (=𰹡)>*Qdz#(^-4SCEJ_ >W|+pGP31NY?ŧ]4L*8L[Z^'t1ab._|o@|nvqlL@836v'X̼c Vwɂ&j&Zµ4~\p^!);؃I$ԱGHDN @Qt _+EtExݲuYY[觺qͱ[?e۳t5pm?q^dCgU&u`;^!f}9ż)uptӡ|0[]-v!"Sև7~\\ k+xZ7OnmܯYBaUd˼GH\ՠXˁW&6e{vRց{Ɔ\ei꣒z2T5.yFG{7UZޥ/*ׇl)QgI)N4hL=l?̐+P4s$CZ ʢ ]>)WGr 6'Jy;7bW l[%! BgK $n͌DĠdO +`ʇ|}mM)H(NR59~yq5!Kjxɘaevr:cB(ʧkD S=:e*&zzITظ{s !aJ8~ ԲYz6"VmGτ b9yXQe}=vAMOљ@-24?3TgE8Z1-4Y98int|_u Ȍ( g)@nxWEϐBbyHFҥ{];:ɜ{7{1bfA&惋Y]HcbnX^I hdJ#Ǡ P^2 w㑤|" Lal7!Q*J.‚ .1@r>>N\m={}CS{~d׆XHƶI  ά"d<~{,MnEx虡ΚnJA;"R\PGlM` ڂ.Ycaj7˷Vװ_IiK/yzgp Q8b!%^i]4/ׅcB`жZ^kB~y/D+XLpb9́>ye)(`8 Dkx;b.-vXg^O$k#kÃ.y $ 2-M1*~ 3\bHĠ3t.pEa0\;_9XS-GEhHBuw,AlX 6+D=XؘUnîmnj:^Me{eD&΢;` KsBֳp̒'QtFk빘h\As{!cRw2Qs>W";] q;e up-G4_