SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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   r#  % VectorSpace:threads=2elapsed=57.466cpu=94.048gc=4.156factor=1.647zXZִF! LB]ŗXf1-/6vR[K.z YI0`m 7Vwt>^)ߵt=pUH9nY藻!ԝMBP)KPEA]XiPyG/šWA9YQ8\: M9͛6b,o-ae6[퍇ig<<"ox|(!M{E<3gWtkoߢ"R5cIC~mQj qvQǞ'E\ -85^2 xI({*љ,s33v]S@E;V;c]}T/|*D.$^b6w +ri@͌O d+x:7 l'Rj*y#+JV5+%z`#kxF}ѹL|TC5-!R+FHC$/29?YJRÕG*y' |Յ;xϭ:)jΐN*W9a4Avy׌74z>ӻi[Uㅥw]mau>zM4^ p26fu-0Z=Ceh2FX/L;Iġ":ׯrw0%d8חԉsXM"ƔHhTm%Enu?hC\1d)0!/uԑ']>#m4FF%Uh)>BS`@ſvxMܟXʏ2LV@ˆ?##-6WIvHE~#e+=}okUKo+>8V1>8[B\an˲*ZoxfҕS"Y{4Bl :gA2Nwl4nx,WmT*yWmɺ) 1I6f*TiwWdl1/Pā/ך;4* $3)= 5W;,HMɌB ِu t!1Jkd-:jw*H]?# ʚ.@$/tsl;"p<8)d^ń3=n `B ܸD FW7@.8IA,ܠB9'I\0^]fpprB UwCq& dGָি%Ql('bj # VectorSpace ^[~}Hӭ@vz\$h]\SƣGKOyYSl$Z>6m ˫"R(`x Zꯨ*ho%kɹ>Eh;~IPo{'t] 3]?*.e|zy WǗMgYZ7zXZִF!  ]ŗXi%}揍pQ;~jcE?#ɗ1 x>`Kv+%8Z~L'T(Qzrٱ'Ҙ{X[fH^8a_ jUїUI<ޠ=k;2u5FX tt q6_\T"pA{CT!ol.j 72c$͔woAy.#&Y1[y`yYr<0KW{Y/cOa@׾^>KZ`5dBݢ-ĜArYZ hp @$=5(nHB}Hv@ZP<4 .,2֑!ͫDkKE'K!-C[ټ[DGu"!-6ɹ'r@zWj{ eҡ"rCΤXbO:(35 .?FR:d{4L#E wEtJݲ̹SO#{~_8xרЊPR$׀pZ6Wrt5q@Lx?ϕSgq:8+?65R@uK]pefu<>AT'*A͙#zuHx4M&{88Rh:A:`ċ9'O r,3){Z)+NKa]ccpwF#ľ)۪J'a6XOU*)>U&/*| F%&}>ӧ:iMP/mӲJL^FWTh" tL^N 5d19?P(K2JZm'JȺp+*enGJM>?^#YiG9x x a{(Y#.IyEBǨNMXJ mߩ0іI'EYZLPahrczq;hyz2~U5Gec^APw;%g 6IO…:,WjuqwڗG⽋QYC"/*>%{: fDQθcѡhd[ӕ=V!f$hpễ[=nW9`fk93~Q%V-0'n{|Psp\ 2^ JFX%mV80 韦kgX2Rpb\Gbc2 y=[5N 0jO>|;0n5wмԬ# իd)c| ~ݢ ðt DrBWj2 ,dyUOPR$:>SB[Z?k :^N ݹH)ձ(j@40̑sP-c:z%+ 9QO#n59X݆Ъ;oH%> =z~)eK8!J~SYS a3 B`a8!s-`Fw 茀uLAO~ 5 2vCE˳6S1񂞔Ò~-"`^~|MBL+2p5-  CWa cUDMt&ί-SQq4@ Ch %'*0G0"6o*,Ʈ5ZTۡ7~nC,aѱSQ (h|1&1M]՗@`Aɢ^H[-<&'065V;(RY8;Æ_;.$ow*~czf;Qy3Հ'79R LGBᐺ z+bO&OȰlvF"QCQ_B1F7 ɤ,T8վt9:d.ԀĘ]c*`CSSN7]#AΞr5ن܇f정=8(zQI4Ah}Frm uˣd xNmu6|.S' ;z(4j mG>b: VEBԼ40lDyX9