SQLite format 3@ .0:  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   ]/ DiskPaxos:threads=4elapsed=24.855cpu=88.672gc=0.908factor=3.577zXZִF! )M]ŗXf[&^q)鰧vygD^g-VL,>y+@anI$/,${&;5+W~yG:s R'jz%.\zR@ce@ΐBeˣ俷!K G /k,Cޔ! d,sڢNo x K x5*]7hu,I/k;Z,܊Iq̆m;$5džx-k$\@!lud YRRKRš}K<`wwWXΝy D@17Y lYգx|:?_8}!15n}~K|tX*   DiskPaxos   9g[2T+)D !9-u|~;cIX^B_ȏ l*5V>sJzG3rߏZ7㠫[. %#ؐP*^RF/`Z68\ 2y|]D7Yn|y&?M;w6gd%'imPXs8霈B911sO"}dV`,V8R6A[q7T\k.%j50C μSvhg0ث~/$BI"WN.e@N JGtpӼT߁+@h &v(]˻]ӯh"RnȌ}"{`wPMcs縚.qMב8pAZfvcemqa7M*IMd FQ)$%'ۍO?.hăJDIicg6^ȋ=Om+M)/Gz{Wf9fE? T1OiYOA6){d#vh3@[FV:A8BaFD*J 3RZ쫡`:ݧ6T`tkYe1 BhdB#~ (GXj*ɤX_qލI鳇A.g׿a)l  *KJJbgYZ7zXZִF! દ <]ŗXi%B8]n1TN@P*"{\LpqRnZ֣QfZ=UYR0@a7_ y+ 0Ujz޳BҦiRUBírJ 9z&"e\Wb3`Bpf#-s^e,RO)diG Jٺ0U] 3 5^˅qU3Kcw+!?vqR}v`KG۱7ȓ ?ʼn-cir{qvnH3JNUWF׋—yϫ7dz BOyCBjHf!xSSd;pyoy[xK̩hS{3ӰfkưRgTEh|*JV 2@>` 4mbr$跈s2ZÒn w=WpV*ɏdW$/ޱf+ ɣ!"Vz?юӜa*9pMOS8(?j_%9 +uxd$wfbрj/x'p`N#`67od+ֲZ'ˤ 68A:W`w|y{?&>R_0ڡޘL1eL~q# xfI Нp:Rgq{\1R)CY[(cX*kw'!Zv#j[z`"grZ'gP2JC[%)r8j+E;}8KD UHY/y݀)z[ޏbn`o}3(뛃l.x`~C<&}7g.07Wz;+/oX6#\EQ_5y!"ST}s+{ΰn>ZaFG JHVμ_6GTy@Kt,r(.[RRgUzyIԷ'?P ZHyE=oxfݥ2چ"Q]gcAQ9hj3;? \SF*S[>=2>Yh5 KY=CI@<4!8uSiT;F$FVH " v,&Jw*.11L򸺺QR͎W‚zKv[vy7Cr0'3p >ZjJ tr*V\[D^dЙc]Z!N]w.H1K\u /#.˛QFx!r}ٱD:FwrX|]."F.} "ƫq 9@Fg ؜Ӯ]n~",|TX3𗲎EPKu'C6s$o-~*c*U '{! %|Qm*aW]U LLxU^zӃ"^(ӭ#MفjOK\HZ>A4cHT|ݏU9mUW)>Rik眍n=lDUwN;0]YzOD: b2rC!,4v!Q d/_^W2Tvbdv >!Sisaiԍ<%fZ`ԼJ=G40~x4~QP]V!*PTnfc_mB4{y}lEw,WƖҗ"y̜qTTX0}(6PT(1VM_x@JFVIQ4kDyt7p"eOYXzC'ۛ Ke}CD3rg #@ۼ`X8ϐgYZ930004f3fd93f9a5a94d9cdc02aeb2cb51241914ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 961d7cfc19b96122dabf28304bf6dc45da32abbe