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 bb 4Dt ]/]HOLCF:threads=6elapsed=14.706cpu=40.492gc=2.428factor=2.757zXZִF! []ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>Vj4*Sc% VaTT 2yS4xFyU /@RA5Oy,(a IATe,Mt._$ѻ[$eC|ښg#G x3(IO|Z4{68FZ-KvqUѭ('Fs JK =]{)\"H!yW|0]/֑{>q[ WVz>0XFcz =a5[tkz[VG0ӷR2?Uu4싩g񲵅4ҁ̳^Ř!BWj5[:^~PO^&v׼ElȺ>G\Rwr5?a3 \(p$SSJAoڟ&&F?O9З f> )N&*y0}p?8yp œA5ZmlfbvHL&5ѤZ*N$A aY;g\:پt!Ii`ji}.Pe`}vLQ A^۰-z"ƕ6t:h(y׀E(6P Sճ8h'tVeVRVfͪD ҹcXrsLejO(42KgYZ7zXZִF! []ŗXiɟ>Ӈɇ9S2]ʌUOi|%}j):qj9 ǼHD`Jk"rJIO_~!\90I ưG P If]Buiqv?ĆNLț40D)tqār{,v'jh"vsfrB 54^wHa}9W, UIe*G\7'M(eZU;3k(;4R֧6N7̥z rJ">ȋif%#ThZL)C Up?ok| |Ep&u ՛ũVVO.D#˦iq14jOXd%ɝ0c8b(" ,5jYlj6jg6SQPFLP ]c7Gayzj2qI  E!ʍZŒ,:Ŝl^gQJ'AuBhٝcъ e'3{55x(Y@A:kեL2kO0T@0;A(QS_O  Oe;9DIRҲsUk{Enj! O,t1tWȒ(o=k잏)&@tڰab<7תĎT0@{Yq(Omv;yf HGelO{aqrJ]hݹ'yL&q M;0*!aWddv~kgT-]L]\Ols6OBvح^_ 2Apq>GJd/k<RV܅^TP2Ti&jGa2˓;ϰ8~dA*I-i 6qxEJFQcS&F/Hp8tReMc5Ga&ge|yPԨ8f)*UN<]­5Gw~9T{ܧwBCء̬wJ .gR] >'v #t]#ۘJ{D7eC i0?ˬYGkjQޛsJǵq|H.;$|QoW@`7b\8޲IT Zt]rcΧŧKMʱ(c1 lS# K܃kk_F1 e͙u9kNDg $qd1ԧj+pm%-ʷҽ>PU`48b"/{kLJpȯ~cپJKVXqPjPt-G2ETBFI,5L _cV / Z$9ܑ?uT3 i TyP^%ڌ0LՉ26!<. egYZ981edfdbf9f912d28c10956467521180ad96622cda36a99885b072ea1df6da1ecd17877fde202f52 bdf29acc00c9b494811f7778844336d9d406d3ec03c370ea1f6c6670f32792b5b358d601dae49eb7  HOLCF