SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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) dL % HOLCF-Tutorial:threads=2elapsed=16.576cpu=21.212gc=0.624factor=1.287zXZִF!  ) HOLCF-Tutorial]ŗXf1-qN0L?DMCM}1EB9nN|@}0EJU RWo!8V+rtFBaSrԚw!D$(-o4oF;̨n ANtﴆN Wbړ#v Мш5_X:V{ULC@UDKMmQ'w{'] Ua{-Bw4B撩aj*u<`-FT~Q MNYEΏ\'}wboiwwku$kj߬ٗ-A/Nwu`UZ5з% 1ËE ݬ)nDyӱ={sq#1"=naF].jgYZ7zXZִF! V]ŗXi%BP@M$)_ (+Od]cn??`^p:gDZ2gߙe`3i۠l'Uq4?ɍs{ {*.Qs*'t9*1^SlbYfx̋cGΑTڳqc6(&lrVK4J\J-]XK9D8Wxkp6e"MY#vN0>/ RN#l%p7M[+f(-J>6AĬ5@'K%vHhAK.Go735L*w̔@ܰ H[l9)ڴl+nMdqsnFs Fz( P.5r?=r5c`}KY^(D`~UUn?5۟0ԫiPYD@O6vAvOVk;Q\F#.VC8y7D9Wa?G:V{`f3,C[2ad.rk iwDZ[h[F;FjWafu:;Jr+"#c>h lj6ɁD&#;W'IjJy@II52]HL\O8=%^dUM2s+$_q Y%΁H8!B3_/rI k/1EEɭVE\sR+ŋ*ך7vjQO#t᪖W7Ojȿ[:g*j<1ig93t^ͽKl2߃j@'#+c` O/w~_LjLOjX]Fxo[7/w)k\(4+Պ WXL+kG_j\>eĶ̤Dj(TQ0]R;ACK?JreKE"~륉@٦Tc_b,z)l}獲AK05&b[S b71GB*s&9`PN,)˜fnWC{;M1M @gYZ3b50a37e1aba44dc634f0b813ba065aa18b3ee91 6dd0e9dfa55d2d9c8dbdae32f124d724b1e05b62 97a2a51088acf3f46d2f67ea38cfcce93271e2dc c886ca46627467529639f5dcdb357d6ddd4616ca e041a4e11a01034660c17a38624dbe971d428e0d1d303aa48c02fbfb8fe205c90ee243804756e6a6 3e7d2e5aa099435bba6e4e30f924c9df17b4a54b 418c966c45dcc7bb77effa133124dd4ac762d710