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 tG |\ ] Probabilistic_System_Zoo-BNFs:threads=4elapsed=14.497cpu=54.040gc=1.572factor=3.737zXZִF! D]ŗXf1-q恈<-¡$johkX2I)Zf-@\֯)sܵG1yZeuF#"ԏzрkFu"˛APΚ$g&Y"zdO:ŏɏ Ap~75R).߱:du`bHFz;smsfQ/\hwR)GQ5/M֍ީ*'o t yp9f9mEOAM>UKUL fͭCy+5,b֊7ԡ/c㣙ӝsҿyx+by _HPOۇX P"Ng&:r瑇,*c뤠Pemx_hx}y1%\ʾl=[(9}W&sj 2N.RS-9IgkZqm U.?F?km :6)`Ro!;]4N. ^Bk N4A=Mr t}$8@HG#dX %UMB5!S&vϞ׍ q_}t2c0dTM51|b2!19~k,70t0ä(x UtUXmC^d7{Lk:Tmy7v␸s_xMA?#Kbaq '<)~X/`2oI7VPpTkmPG;;TgYZ7zXZִF! Xx]ŗXiɟ1˦r90Fn0''ztZguT~Z aR$9c,z1&d=)`;r2ʫh.YTXt 6Nr@j/ Oپz--k*t&Vq{ȥׁihLQ6*E̱S(oc;.&GC#KDR= hBD!fBt Lɮ`V?+wUWss<.Gub(͎\>x|FEvx>NӅKt s+R ʽΆ->%zTW\US g{t3`)y*-*>Pӭ5,apnDRMtj7$7d:)y8\+7 a1wi0dҮ]ï^8HG_QmuS J)r <=f)tMvq^Z%e{_հ#taǼ9;c^o1DG~x 7h5ڑ)5+0j-紕]pBK|>OEI+IbK"cZ փH:Nhiügroh2s$Ⱦa'KT=4z۷drR5Cnmy0MYI=*N$E~\%?ݴ>pX ¥s ŵOa" Iy9 0I/>d] FB"Ou$݌15*}}|hT?Q{i\hw(Й?S9:E`쀵# c}$%՛tY*]˂#G[G7#hyCu'X#ϐ@< ;ʑSqe/gT]ObӘCJ FظWBX-꣭R(pi^/ 4a Jp!?lRlr sj,"B +bDJE =rI!f|Fь*{}ƾy 3WvagkҮ rhfbTlvm< m:t7=Q@Y ϩaK1_RIP~P&3FPݶ6יw^bŦrZ UU`na]cȮ :35 gr1#i;4ʰp1)k$sVL^v~2l)5ۇG=ZOȹg]x˲dkw&UZ