SQLite format 3@ . YYQ77Atableisabelle_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, "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 {/ d ww Monomorphic_Monad:threads=2elapsed=22.029cpu=33.976gc=2.024factor=1.547zXZִF! 6]ŗXf1-/6vR[;he {r!BLF 6Tٍ ٬g+2'@Wd|xEe L3:XCQK!&EǤ"3Gjm!SG%ķy@gϒI>C̓wkʝi-}48j1uh AFcK7dN(Rb Z32W.1"r(h7I3*ߺzхX `R yXIk*&zyuj&Ib]V|1OؙU*Olʈդ$iZ ~ ;u뫙 o-XJw.Z@PYRws'jcڀZ5r1]>< =2OhX"24mzWpը;MH`2EX-#TUGMŜ?J6kCG(cP4%u- 4jc3)nj'-bYJFHsuߍ^* 8$•ty[ iHNv7uˆKKc&EV#q2B7tnyNr6q[,U[zr?E/)@>즷=K(Ġ*6$Պu }"bMƋ icJ0q[ .7G3 z08f)W&-űboBt R2O ῰%Rbύv}#'L2' '0LIHBxKr@VQX45| *`]A׭/,BE(~/xgGD#eF^fLD`4 ˏG.hZMZ@]Mb\" ݿۃoԏ^ɥBziwZ"`GKgy"(H4X$rũH,V9/RnneW Boa"lTCo ZaӅ3hߙ 2ޘ֘;IL0x8+G\í R|Ę:\WsLM9;"n_P &!7Js BMxM_(ټ!geF;/JdL9bb;?kVNm&O 5T0QP &DW75^c)kma!||z_M(RRxΛ?';+c@Uw 2Y`dGC:ϝ'vEsOV&D ;Mz0z=f{'to̗~x\4[z*qX< |p燷[:#R ){?i)tr׻$1^X߫`'I؀$V>*GlEK㠼X>3T2lFF@t@Xgk 9ڲt[S.G.QSELbG[ahoj.CMc ^5/e\UuY=9&3epc"I /#H)x_5@ge_ȋ!qRO) /}[gD)ߑ:G`G"uUy󶤼 + egYZ0ee64616e37177565479368c4c5f56d374d1d53c 29faed5f22449255e0b21ba27558435b9a4a13c3 31d068e04edd0d37788cb94803f5ac07cc317dd0 d348b8eeda381c9e879c42a842b08810f68c2a66 d83b8216582c5d394a8fd429e4a61f1f74d230d9 f819085086da7f5b6a4a45373915100bfa5c0514238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b 5945815fc19e2396c5725d8d6cd70bbf961a3d4c e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef 8604b41f1e451262fcd1286c482b758b73d1c934 2171a9640c882a444ab08dd88e02b67368cfa3d2 f0417a96d1122ebb466f01b001cb623414b7dec1 / Monomorphic_Monad