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 7/ t| ww Monomorphic_Monad:threads=2elapsed=21.453cpu=33.340gc=1.900factor=1.557zXZִF! ]ŗXf1-/6vR[;he {r!BLF 6Tٍ ٬g+2'@Wd|xEiG̡C eZ"( C'.Wh =܃+o grD7UR(TBچf֚MI:afx9ꒈEЧ:˂#IyZ2TrM,,k%PћsSq7bN.2uھ.E=Lq&s,`wZbxBJF?o׋)siKL$tLe^**9m$6ъؘ7zwZcӲB׈>/톷"Ψ|5 ;ÕEKl: .0ܑ%,%(&{鴊gYZ7zXZִF! p]ŗXi%6uT7zfXJ*ߙ#k L$ºra,gF7JuE1:+nqH At!IEXjt㺎U>q 􄨨r];jPU-J5_ VM<+rXZR ~yY)wJIy2K~0v;MUALlb7ch`[mfޖD_Ҟ3k?wVrZg&t@f .>=*עOWwskȭFf$J3sͯ "4#ە3KZĚ^})*φ5'=a@}QVkpGXHgJYN,n4D#*YwᚠI?Lg36folPfd#cL}xтf7Ȑ̗C}-ُι>R[EHGC ^nT&Y丁(IЍ4je=eAޛbqL {XL7{ Jt쉺ݼMsȏKv)R-4BOK͛W>D{վbd0ϿYևZ}pT|>Uz}s:hwmN P[u3*V.?u@ ?ۯZ+|VDlAwOz8a@p.(U<Ȩ#oqޡ jS2QuJt_$~n*xC 'LfGOI۸/O)DH NUd+~ s}ȕUNp6>ŵXr&0AW֔!kTn_5c|\˾q CH.;!jfp]dc2.rش>"\#s-:ю}v&Pwu+n?<;1ܵ * %h& ڧ;MF!@Z-Q.+wb"Aa >G$]╿%U@ߍPW";]v$N?9mZBfk .s,j Ywb-hliI(`H!&%}xڻr)/bP)J#6TYF[L8^ }55af1?&kGF$]cM+ѾsT !ņ]DGIf/Lc@Y40 p5QOq;n5}o\ǕMF]Dj8ZDr8 3#*eTu>ӄƏI Pxa}c]P 퉱gYZ0ee64616e37177565479368c4c5f56d374d1d53c 24837394dc7825fa09c8fb6cdb11476fb0500072 29faed5f22449255e0b21ba27558435b9a4a13c3 31d068e04edd0d37788cb94803f5ac07cc317dd0 d83b8216582c5d394a8fd429e4a61f1f74d230d9 f819085086da7f5b6a4a45373915100bfa5c0514e4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d df6f77d3cba6fb825ee5fd35d1c789d872ff9d4b 86c7fd1199441702fd9498d93a1d3535f80efeef 81c60aa8bc9ec45606136020e3096419ab0aad37 3cfa26011d3ad9007f9cfe141f0dcef0b322e0c0 / Monomorphic_Monad