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  B B; ,\ ] HOLCF-IMP:threads=2elapsed=5.689cpu=10.624gc=0.548factor=1.877zXZִF! >O]ŗXf1-q恈N|5` 6Hc( zE"Z<ϰJHSo@,W#e%baz.DC+L^?TQ( hyAd2Q"c|c%6|S=z4&2[POֈ҉גN^LxzͷM#0XabG̭~Emm1(_8U΀ul>LR?l !oHTB_&.Xb v<9PZ? > X>0~N#iVP ڑj1*HgRmJx:gYZ7zXZִF! ]ŗXiɟ1,plnQBmjszi`I/$#t6HLz1(}?Q&weo-tqLi&}S6d6^YG4%}-HAFւV n{wH ЬS*ӊ)^Tա3gYZ7zXZִF! ']ŗXi%;ŰA/e{5 W9_֢f ޥBR{Qzf?IIBwE_v̤"R,- JXp\#c9-!΁8b B-VP`)!|qX6^E*8R>%Jﳔ$}/almdiE]`^ֱ93FˣBewE&5y?ZU+NT0 L1òxvgVB473WDzfretTyl 9;/z^WI=*AvB>sIډhs,ِoOMnLiQTr5"<ʫѢ6 aP7?!5{xtӅTPЇmH/o>m"@} -F.CjS:ygsHL+;;ք9Oazfu'.e5/g}bwP6gq hnYl%C=F@WEMc;䒋(y _2.l2O4$u03iѷ-e* o\ǂ6zqOྱ:x IGr EA$h_U:-k"{&ђ'plniPDph] FZfs=rTO9,S M\m5g!U`>rOgYZ3a4ab3615c31a322728cac7e2dd492b5c3227c54daf53072a7b7da07dacaeec0891eaa6642c159c2 e32a9e161b57c989291c7f5fad06918aacff06a5 73c679a1b83e0448db8e1d93c91fc078574628ff   HOLCF-IMP