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 %% lL ]% Stern_Brocot:threads=2elapsed=40.321cpu=61.376gc=4.092factor=1.527zXZִF! ]ŗXf1-q恈͐7ӺV 1̙ GMjiYEh&!9 ^|؟EDPKsnCQv'H5-}= ^/Rm6]* !▽naՅ*ayTi+Yt{}?ٻo=0!:LC UOz).񕥕>ǹ 7qvCM{Mo? X7K_"`~r&%߱gYZ7zXZִF! ]ŗXiɟ1˦rG1)Iuz2%]_6m]w fq~{WQS:©%rKpbk2i_P(9_rWuk䐐3!(L^٠ Jy4(Z+a{_mw+xgYZ7zXZִF! + _]ŗXi%;345Κseo;Rf v  gOEWYec6xڷg%HX!i [YUZG d<i:Nm Ӡ!c;Z 8-8wɷ4HxqE#a)̀l9z!uT{3ΙtQXHy] ChˁH&,e WxG G\$("5Qd>7h߮l[ugA 5_ÕJ L#'{JyO;+>O-{AML06`nt ^6N)TdG~5X#:H4~*o,bg*حKVy]C8ki0X B 4k٫y=Cp"9 }&hm;%mTċ]y5 E>w-#{HOt2|ϟ,?1s sh=N=|`9tEBY㨘?06`?JcX51[k;bDžZѧuT[7tj b;(P =m(n6bRhwtgUF=)K|H{fo~%M&pδbvh~Wn<[:<~vM8R>fC 8h=)RDSC{78- ִMNLG=nQ؏aKD(4N5\,ɒqqy 카Eq9@e#I J=RkCʭ ) 1$Jda_f/mBm̝+G=M)(|U9@&U'BPWNDτAvIߡL3|pJ'Gi; , 0xAߛV} O2(n{u mjL:-kNy\>\JkA{p \$Gq bw/oh)d1 Ycj"v%7!Ϥ9@Y%eg(S qk]Of!G2e Ĕj?CuYwpzCG]"Ճ/[2* *3!J_$=NR6m2[IbTJ?Xih6oMHE}7>am2%>{ s{i:qft֋;6gѤntQsiWK@aGp?ѵ!R``ԌM6z,p#}t K1LJ\h *eT^;/HիE?KwA/\,e_k 6kJDyϺfzD} W\ǨҝAI9`S~xοlpgYZc3e0aeb5e17e95c7aeb2e2e99d49b2744be5d9e3665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee 84e9ff1afaa7247afbeef9eb4b335fea17548a6c 7059b0deb1a41419deae0813f26171d1a4319fbf eb13221dec45d497686453ef7d893d48df9e2335 % Stern_Brocot