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 o) 44t ]% Jordan_Hoelder:threads=2elapsed=17.584cpu=32.716gc=1.644factor=1.867zXZִF! Q]ŗXf1-/6vRZ݂KjB`_cNNMY{ #lvl 2$>)]k'}i#@0 ﻕ}DԑbAjuTh ;FߵPp҅Yvr4R#,Z ZVB%O_FUꠟ9G4єsі$raIcAڼDxzZ, M`ָѶ)u»y}BLn6ECyL~wGg)uȊFG3 V̠vӞΈ&@}3ДQQ"E| >#4ZAY`;͟"UKtIg03y~1vmn%]@kfjVRLsNhWDJ L~~1ѧ)L4lT6G;$h@! 4KT:Ť<} 0Eum{w.i)M/Gpm.(趺f,*Jap`ݢ# nWhۛޅ|d&{AϚ_m[zK#["GՊP$<!Xx gYZ7zXZִF! J]ŗXiɟNGV/}YHE$+N7\Q"^_^`0Oz}أ| Z);׭F8ӌ:}%uݜΒd WE`aV~!}k2B[((YRFrm2:g f(l)M/uTHձP=r=18iM,tS9[*szM TvߞS;ʃv5Kfz4r²lϗqB?gYZ7zXZִF! g]ŗXi%;385SL}O0!M4n#59+,yB,w؍a(zZTG9-W0ڜRk@J 5;?&\2%XQ>b'Q&ORUu,+OjN6N_E㿵4Q K#myX\ T16T%h5/o$!1JQzXm8P\4ruJDZ7z˿t)'JepG!kn|yZv mr;skP8%=6@-]R8_ Nl%k "pVH⬚ § $@!4 P8gYZ1849839c4548e0d60c0b4d09859e981cc2c9c928665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee 86aea4174b1d0393ca3ab4a58bbf0589befc3a01 c255daca4cd67e985074c64b73359417396792c8 2c14b850dbaddb3cbcd9316fdf1c82c4311ef3cc ) Jordan_Hoelder