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 D\D ] HOLCF-IMP:threads=2elapsed=5.947cpu=10.816gc=0.508factor=1.827zXZִF! []ŗXf1-q恈N|5` 6IAR}B\򍂵; ,VT1a_7MDN|$I݂ V/nnk<^Yfm[B^_L+b0p$u0 gk)E0x-(PW6;q*䎑3g!lgYZ7zXZִF! ]ŗXiɟ1,plnQBmjszv#? *t W 븊yzssJ7ԑOpZ{Sb D޾&r6*deE=Ju\xMyP4"//lw.BbڷU*=thxq`{R`/~$(egYZ7zXZִF! # ]ŗXi%9*Wθf]$Ό/+iz߆̢XuZ_SucMP$&f!<͔+&;$ڼ&nl $(Q|k7U0 U ιe)ϝ}@#ђJ߾;2^NfVjG=̕y6āmgO1k$WL FH5a)PO$gZR$T% `X7Gu}ILBؔ ɖ$x_ܬe ,oHE5D2v,X_)Pwx[N_TLLswx*Yj1 %G[2fESF\*ϱgYZ09ed83c3e67f053252ec940f45f1284662d5b73d1f11aeb0b5cb58822b61789e97e7af2cf416f0f7 064d95192f7eed013868891c67a843698304438a ff48b9fc79616b356889523312f0990ba7f74343   HOLCF-IMP