SQLite format 3@ . BBh77otableisabelle_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 { lD| ]/]HOLCF:threads=6elapsed=14.220cpu=39.524gc=2.012factor=2.787zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>V}77g*Zeԫh yTY; TbLYzxq6Ik{D2[_h>ʢ.N |[RNWd> k.J|n b&p"nKt{vvBr#8tOy[ " 6QܵC@G+5i='4W)7=>(0-H%&yb') g&$D `@/:⾾xlKV&Dz~h935:WF6vkENQȰgaUd\4,GTU/iP%{*MSևL#9TY;lYO>FBAG@i)j'w3 泐~*]r # ٙZ434ʽMpuA?bEd1o"B#3e}|z4M6pi.'iE]c;LyD*Z|=ễ*} S!t! ?<p 92,5ePș<}$µg:D2RL!KzWJle{'NTvɔawSqR> 0^d9iu}Imo3:'{+KgYZ7zXZִF! []ŗXiɟ>Ӈɇ9S2]ʇޢ dDه%^E_X)/gC*'/`I _s֗7uLQF0>tٗ2HU{z,m~e?l0dH.tO#ͮ-J_/]({hp/0Ap Tq5K6]{x˙b/(E^L웺XljʺgYF:H\tLIP|"&dX"/,7טSӎDaTndpQWXs 0l{{h̫t{5umE"p?"#Kܣ̛O&vHp<)o~ ""4E?mt,΁cUSZw^?]Y)h_!sorBZڰھžW;rylV ;.;]CZ_[a08u!v1Rta!wO@G|kQC?Ɍ+@"҆4"j߻?0(n=couX;NnOw8&hMI= >L/mI'y75Y\¡(dʅӌ%4{I ^І [ʹYÊIݲ7ds[XZ{)*}(5σf%2nYrG,'楋]xGVeZBݻRWm ?qJI١Y֧ȼE5=Y/\Bq ]:CѮ&ிeK&b[E96Q"8ѯM@p%LL ĥxH}t!%& 0r^դʸ*1Bh+/ջfCAb}]e=9Dm|LV5h`.,VT9Gz˻T >;aȹE;JM Md k 9CvŎpiy Fd?UQ 7`EGE୧ąn|_;J9y0QhBfwϪۛj])0*aiJņg1a 5yH迳o#{bP\&a%88p$pA;5p m^됞hGSÀpK 0ϜhDn.ce)%URH0C8k❡k s7)ddՉz4 `F W3<(P%?VErS!HMu*3F/1 WkxRzŦ<S;m .;Qe޷]:c(6 eIQ|ƗÐPiEqR#zym ]_O=/lH `}uPXL;[1y^0QY$w1Ex`UJlPԈ,/OpRN>_$6 D,:u蕃7 xgYZ56b6d508eef4f8fecbdde0a25914707f69aa4ba251dd6ddf81f32d1521a081613e64272e00a7489b 26eb0d9d19e0107059d575886decce0ced0ef3abee0661ee480893ecbc98a2cb95098a5378a326cc  HOLCF