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 **S $4 ]/]HOLCF:threads=4elapsed=18.630cpu=48.176gc=2.752factor=2.597zXZִF!  ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{0jbC II *7Qd-wf. ѣ">O3,J܀e%He[x*ѽD/O6g8ti  F?ߡ"OL 39>Hy"nݫ1hyhHuf.Ef5Ӭ@ (^EKM=$JT jI4-U Հk"` + :gi) ⱹ1&/H@3l[KZ>:7v'GpQASW!;vR+}o`ͳ puVkl^OD9;֌u B>9ݏ}@7Ys](AyUH]kPN=IҔ! )r4R#-[IsS+!6IܼTz}{}[ש[]YȿWs繗Օ#f{<5iS^On<[S#]}1E!`-X#%b.Zc=!lEWMYK!Kdy2MAD OX&W P=.EQkE*3H(} V+Y'&D僱gYZ7zXZִF! S]ŗXiɟ>Ӈɇ9S2]ͧl} d}G4)DG 9U E56+sjwI՝/7ֈOސH;9R7meciO\lLn"RxͼvJ3ZU:g;oh'6?cV`yI ˆkEh :?j;=ʸ1RYTlnp4W IsO88=Zh<5C 049>=.M@&rl&`sp&(AqDX0J(94ii:*x`a~@F7Ow bӿ`d w9Ykĸd۫H5_;~G-^Q%ݔ%LTA$Om{#8+ D,l0?S~4[H&☍Fv_~vۤѤG\Us"Z1@( LfpL{qZk3cn%Fg`#^$+:?v,!MG=8R"3?_"DƠ楱gYZ7zXZִF! ]ŗXi%Gg`s+RiK mV$0Oʬv,AlTCF"oN""B|T?qʉGf:GH,;\cZ_N8P''9C s40-Hk)"50v<0ϳCtzIz~6<'M0TKm\Ͽ&IV# SCƥF`\_1%KWg4:K|yT[e:NC;R}+]++m 0煻78E{؍3sJH͞+gqL0gE>jWEzk~\eGWR,N F (?2^6 2_Z+veŸ+2 *UQ gExm=_Nެrn2ܙ!*4)k߶FRF,AE&=(AMdIr:~jxt>TT݃!mXH*/;HIRyBSS8NWUwsymř&.; 75`W%`pM9ua%r6D@.܆B@@-l>Gmid"i$AfR yhw#ћ1DF=:]|,,ΏX M”??c?3ʈ8t-*?˦8<`P[c/_K;1v߁\e&{b#AtY;L^~[ DsmHGhb?9],c͑a,Gp圖ap#WwoEj~:d;P G-dI̖pm['c&=h( 6]ʣ2-i덺oY)3 Hɂ4珄] =w}|Mj~*nA~f%X3՚u"͈\u9ٱFuvuO'_ 7Oo ?j`6-잊*FuNc.\5LznA U 4ͭOu]Ѷ 5P܂خdk ihuGQ;WZaƃRu磵[fDy'v"yO)hK,3QTI3b~hle=ܞ=wlpYlvuhVNZySjX1 qu!ЛkJހ0!v/PтpJmDu 盖". xhZ8\uWtoЛ#y!J}¨ZvZi@*[[xGr)8\nTBfa)׍2 l ݇)os .K8OMQm%#F  ioew<ޑ1k%b$vAd v%5%]Zq;&bM\DuDqVɲ|(׀~VUGZv;9&ZSaTBJv|z_'{&~`3Rbb̤39] 򱷱7Z^QIMp0!e˂do9'F1YjCE^d]mT ^p*O_t-0_Ġ h>VN@zI4;~P@:vA(kbPN}<H#{wh!gYZ29b1acbd828741e05ffe0cfeedfd645f19b53adf1795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b5609419a7a5ca1171bd31e39ffab9a2979ddcf68  HOLCF