SQLite format 3@ .  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 . ld ]]]ZF:threads=6elapsed=12.187cpu=45.000gc=2.828factor=3.697zXZִF!  F]ŗXf1-) enȈA"tr-j. ZbNVH*Ot}SiYv'bdMSwoŐpy}Iva@x'n65:1=ze y.b*/Pˉ"nl my;ށHOv040 _Zv*γ*<)RcIpM|h}'DSG'P4Ubή yGI@p)1(vLѷN  BIR/Ď 6&*|j% n@aF,h]m[O$\dazUAuLWim8m1w~M҃,~@M6a<▊ i9Y 51БXPe xӭ3 (ױK=Vvx\Ð+ EE(Ԋ۲? O~VV` hrY~UyGCQWr^7#l(F˴b &ᆔ3|F\:^ZƑ)FE/=ڮ$$܏/Ɠ<|Y3WD?xܙIT,ew-Y/65<&0Y5szmW熖 O+SaMj!^%rk[qsiV3ӱL@6T8+$FI@JfC)_S6\;4^a"6[&qQLpCdSY5Ll6(Wss6JFY \Y1B=>hp\H'nyhe%r0[J(T\*^ 0M=g5@ZΣO]_IS.]˧B*vR/!|Fe7fXdȯwoKG홷d[bP(-gYZ7zXZִF! CA+]ŗXi%B$6"2UBLЯ}m}I|~nu -)>2:EO5n&ȦTWV?'|XgRe50`wdtrF&k+}&*iMm"gw݈l!-WHSd.lIuj 'BY>#c͍3ysPeu+ַdȆWn}r^_ [^W9ܥc:5h/ ? n? (WXJMRh1#[pW u"/Q)Vv094zA3_Cv3. Z=M7W/q?m.@rzaMoqN!ƒh Q,x%1a:F*yc)tX?`{ڢkܺr`Wz㇗>ǷnJ4-Ξ5 ]uc^ɛ}ryX^lRue@_6na?<;N?Oyw[O1>.g1F˙ uL+ie VM6΄dOUW &;6oSܣJmYLxhUw_RNQ[M#|é/pam2]T;Q\ Q *RL)&LNnsa+~ې $Xn zN{*Ff S`7 ۪"c$|FBkLA[|N M@6eY$:gEag[cv}Dۖ`X *@nt^Q⛭ǿMtk+zO_tODp*{R;nۦ9T1E]K i) Y&T\: r/zum4RwWP/&nٚ(-PiīF#fqdo*/{(OJ\ T^(k9ZȤ# †.g*gYZf3479db531c7131cb8fc22daccc08202cc53e8d9b54c917c7739586c95567d8d649d231ede1628acf3b9ee700885e527a1b2f68b552abb5b8727dd2d  ZF