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 66G3 , ]S Decreasing-Diagrams:threads=2elapsed=21.485cpu=36.604gc=0.892factor=1.707zXZִF! ]ŗXf1-/6vRZs88.Ì[rI,lM 'kY-<Sa½ FK4tJlR6b9m_btJ(_JN䚭MCSnǰ/a|4DIc GE?׭mo>*C^v$Rhc4,8ҁt28_f~UkĢhqq,o}" QbI0<^tYzj@9+$ܭ\KPAʄN'Vb|)hk7"VF7p4dZ.+1kv>ua[ȕkj=KY,'ȯf $hJY+~PN!=vҴgmY?@!ґ{ns/( L,&$9^"eͤ^\kU 2?E}:cd'$S:qAN+YewjSG,5Z}OgF+4_gYZ7zXZִF! [J]ŗXiɟhb[@%= (]T^ѡ`޷,9'޵^m ]e:G)ڈf\dq}YZ7zXZִF! x]ŗXi%;4bVH&: N/?&jt~diB]7(39DJ/9wR@uJur@(Q½k$& SM0;\{IMUլdqַ`11_d~騥/#Oe, ^a3[6=>4+FP2{ݡhV9]_oTLC䓏䩶 JٿN?>;-0]/2yh8]|/?{>?aƎ \DCȘO>9{ȷrn'\#./ۈf]i$i Õ`nAB&rrcg&8ҷkzY#%.@c1nr0}Bi H? ?_A3!wr[DYUS 17;@ zb'bR. Jۓ!'09n{=h w D~,0yR翬;wB5 ,/Ml.Gw0ۡiI| IiAݬ߱:'h4 *J%}1':s s "ai>EURթMۙR3p>Tp/ ڶlzN(B[h#1w\!ߨ9Wnji}y+'[˕ dX*/w}=D3?n'.y{~\\zMZr-Gه EB+gj>Wʀk&\e}W)^&ݔpkpcD lu_anx֢RUXij:{Z۬xH'kV{>}d0Q&H_CKް5"*)eoDÛ~{ ?)$~[Tn?!`›{G'^fek'Co~=`͖*ڹ1iit 1`1\L3#ZW$ߧLض>r} `z?|OjDKo{e꜖!vض,n=*"0!gB:XՃJc}3Hy`{ 1#xl!vk;=~7%DiHk3vQ3aU*W.=!PC=VKt(EL?"Xx xd~]:}+n]D6'F~xX8ӝn[<Nhg9fYDƈ(. +Rgk.#tP9,y9ҹrm1^6=,hx4`*}0xnߵ;v5/\