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 ff) L$ % HOLCF-Tutorial:threads=2elapsed=11.701cpu=15.432gc=0.436factor=1.327zXZִF! l]ŗXf1-qN0L?DMCM}1EB9nN|@}0EJV8?K'rg+m lj`ƃ)U_gHxxM ph*RnXpt^SlN4 ᙮G?#j@eTJ9/: `Bъmf'r[9#:E }sR[k<pMtA?w$PE{ٲcv }GYO k R4bJ BGt9#dFw[/  bῬ/dQg 16뎶W"%j²!xzhPu)]Wױܕjט~47:^Mf o)1[UD, 4uYNrj!́=^"K_LZi-E1Nf^ѻsJKZIgԩ:ȧIEWF הaJ6ByH!Dv~t _Z۔++^0#B 1eO w>n{~@k[j%{jFh Ph稀۷$s" tTfaܣYyIoị׃saQc.{%f(^ydM ؁4((77"WyH2v ) HOLCF-TutorialήU1/۪ZMM F1kZxԃգa&bc_Xuu_ nSKp}&\5,ᢏukwH0@ :h ccDBFA`mdD|}<]0cؤM_i헕]lfJy;1r{cE'sHea0]9f?V> IAvfӂg\5M Tp2Jx cʬNT\{CB,`Wf~%%/cd!U;Ztb<ݼu)*;aFZ3Fڎb*ݥ?s4 ;UY AJ>_mִT6 jfxj>Zb ;i#BC;  \g'1Y_Ys;qOTƭ6ovmv= ҟ AC&Cs$j߿}cwWգs̖0!$2eƇ@!a;f;u :q3n/Q~ЭzrP(#y! 9̇ipB=-g3YM}!);Ar;onx"cĚ7Vo]b"NN_&' ~'ıgYZ3b50a37e1aba44dc634f0b813ba065aa18b3ee91 6dd0e9dfa55d2d9c8dbdae32f124d724b1e05b62 97a2a51088acf3f46d2f67ea38cfcce93271e2dc a047b3d08022baa943ce7625496c2333452924da c886ca46627467529639f5dcdb357d6ddd4616ca3269756b47a6a9653987fc2e45e2efe5ac3c9347 235bf9bd90cd9323492bca5d081941b77446f18b 8e257241ac01f8b9869c189815968e93197fa288