SQLite format 3@ .0:  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 o \<| ]/]HOLCF:threads=6elapsed=12.585cpu=40.472gc=2.636factor=3.227zXZִF! h]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@05:#g)_j۵M] c>`5gԽh|z:ULE$T.yPĨHX9 ,ZzU-6jY s9wR9*9J %9sV%2&&-Q Ls}bRkeoT (9fBr T&}G3\;b8˻_taւXE&Rir oUc*I$"6rJ˨~V OvdK#s"ulMXQ(2ז*H~k}Vع5/2R9"I!22C𧴣RjA:R-Vn& 鏝ѭ TFCWtӇɇ9S2]kCqԃ Gk%Lt:7R|g3,xsX{ڜ~c8)I'2= 0EO`qʭ\f~G{]Ya n3NNxF>`b4G_9 願L5D=l={GUHrAn\K .]C+v}4e/2Xd;.f Z@p)y)8X){F~}9,Aj "-J&0Y2G 7Ͻ"ÐbRnQaЌT%JTE9k,s]mq@$jc:gp(2>Aɮ?Mqdc4q0L6s `6io"ۖ)Ȳ7C4Qj`|?(r-:gYZ7zXZִF! E]ŗXi%GC]g xf-RI\3 xp3Qd^P׶E=џk廏({'!̑؍߂֙rbBIX^,/p6 _bcBP pp)H3aX>Mſȥ{st_$a +JԪ8OVGPb-6~F^S̃矧1u@<%C+wU*fd=B&sэoErJS=j(GDTsɐAFU&sAC͑X6T(5+ @˄

L.{cVl.f6EB1B_#Q{]*J/}HaҜ X(r$pr\Yel:9ոIl,(Xg_AUmJ+Da`ݓKi Yv 9պ {9u\ g8[ཇQ\%aCo4Jva[K#(tx1@{t6<':ET-QSDc\y rawxD/5t/{.>TGhb!SƴfEz^oo>R'A'" 5h,kN Xu-9b],;zůUR72jyI{+Udk˽8ֽg@{fQZ)09k trr ֖16=UVWRK.s9sA:~X,(0OI78P=hZ^ێեLPqr.\яU6n(O/[czH_i@8QJ?R Ϭ` pQn\^F 1 UpSt{_hUj o$᳛2h%^ VR1JOzCM𥩭0ZBꚭSՄNO *lZ1p{*%t. ꈮ M0 f HTXZ>O *n[A20.xr^szdjEsNNa;~54ɽ9Xq |@淤PW薦Ԁ1 OgYZ11855d9a8c83a08f29964e733db32b815fad2c2fc8b758c55bf2cb56ac81c62d74f7a65f594ebbff 4e355dbf04f38016bfcddf244a1ff371223070448582690e6c455f180e3cd502d9a13caa8f0dab87  HOLCF