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 zz) d4l ]% Jordan_Hoelder:threads=2elapsed=17.133cpu=31.268gc=1.488factor=1.837zXZִF! k]ŗXf1-/6vRZ݂KjB`_cNNMY{ #lvS$iv F_3D=㬙'f{UOs" ;zT濿;?ltUypH48g}!ݺ:y1X;5/iHZ˪øߚե\pheQA;^^3Uނ?ĔaeL`qbh?Ԣ<;M",u^H_\ת^pb'D73N)NHW'^ЮqhKAne  y[=C_Nƻ++ɷȋgSqё> +EejY_AXyΎn}`1`k#QٱgYZ7zXZִF! J]ŗXiɟNGV/}YHE$+N7\Q"^_^`0Oz~fII~ԓ:W*894zF5W `Z YT0bH/)C{#no2GЄ-IQ |e-.&VDCG\]G,o!!u 3t2sgaʓ)!t5F0=Xv8ֹgYZ7zXZִF! e1]ŗXi%;++>A^B J* :fnru3鈰^ݕ=wJ bQϓL3Ykt #nz`l DR8!44: w7u|YWaCf+dc1h;OB5/j@q^܌CixX%IFj(By JPg&C"؃/Ldn5펻g(+LP W9 .8H"} u9?_|Q'94"f6e]1n)XkJfԨạE3TCQfEaGDC,6A]?HQVE.؏+[!lʪwj41ˈY#%d ԋeܢA*xҧKڝǪ6%1HSwvAsE0ȱ]xV|C )5Lf߷%c1\L}kJo-󸑮a \;>+NPݧD'B,Tfmp0=ٞ2R2}dUݷ `:Y3 蓛aߞ'ϱT [Fv>񧙅#&VInՊnv̢;:q׌~'!f  ,h9nFX|I=N'd6 Ax [_LzTFJJrZX '5j*D%tA*Aݳ>/MW&V";$]-Ov.u)/O [k5k9=c3Ghȉ҂+}_lsk[b<.cE hpҵA@ʎeo=Д (V@ê\'IJ&w.\˳gAר ? )MCX,l''qT&= i>=dW詩37^!k; y|3 zi' 6I"zsg$w#INb/'TY x=04dAvKJYNRzob񇂶ItQ-j!__ 2$7`7 gqUّFT70;WaA%?]sfayfjHH˘OZ D(,f%c$clJ y@gYZ87670eee8ad8462d328834aa3d8e5eb6f83137b4d14ac4c995dae0e54cbb829ef0bf6514a439aa95 a39a93e97d06226422815bc6b1afb8f60b4561ad e816bd9a9dbad40b32295b442d799a64f41259f2 0a66734cdb802077f37c1f8733521e1eb5899e80 00d9e1a13daa99ad1e97fa6ac5109bafb02e984f ) Jordan_Hoelder