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 \+ L$< ]/ Strong_Security:threads=4elapsed=8.770cpu=31.028gc=1.352factor=3.547zXZִF! `]ŗXf[&R h V c?D:G=Cng Eg]xlf4Nؓ7= 2sPBMVw"ӤZQ6} rv|0mԼj0^ԝ܂a&&q@4@t|#Q8f3t`ߗKDnGF^9u|Ԡ l l0XV@_L gK)X~R_)4˰J󝴵jcb\8Pɽ³ĈU߲=v&G|w>,YtRr~k67C;(ag|tnY],%ޢ#.~.8oX6v[Z_̫ȁ̴q98e54S<?N|10xNK}eAd FY4LR|DpJN#=gYZ7zXZִF!  ]ŗXiɟWڱIY\u-Iv*#o.(Olj,t󃎛WwŶፓ=a@M3 y3Yxs`N䛷xj8}YT]D)_;JBf˜},8)+KJj # 34>ȉdu?c:-a8aO6Em2&ـ;L~%o \ylg+fH"@mm"haBDӹ! CJdgYZ7zXZִF! EX]ŗXi%I o7U9E?pa2{Ƶb:VfDHPueLbaՇ-1#OQٸ2'5}#p9xuCXgqef%8:iKZ%e$ ޕZԺ;_KE@d@#^~\%cp=ޘm[0* v'|f4DWGBh5:tƋd3x/JW)HJYGΈqBkvxj{5q8kdg`F+]R-v|;| 9G,n&jx$@&eʆC ȳoՂCa)-@>ݤ2Vk]*T^[y\]`vg-Ty툚M#qFuS†D*-v]:6{WdYeb:JgCRR87uQ[2I뽪-2M)\;`ywͽc]}ӛqC`yWgh>M_t^-%ٙ, tźjnqPPV=3S^!IұOlGFgIطD)ѷp+žzy~j,5 PPH}=Κ^й))ηE0qŤ. {%zɺP v_C3.Iu!DG9i Ɇ,[dmMCkp Y9Rr N2QF~$s?yaʖ`oͽZ1󀆴­ONJ 򞤪 e D<;d<+_&S!@:^Ck~wsv8 Tvl'%#&H/hgltѯ}]+@'W>93i[pш5%GS&!d{ 9xh6$b"]?ɖpC'Wڐ,$pWQXS]vJZW +SK%Ϛsf) a_M]_W 6y)ʼnɼŦ0;H=Hr/hBDPKLfe2EhiZ!jS xܑfo'/"#1ݔ"