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  / 4| ]HOLCF-HOL-Library:threads=2elapsed=17.728cpu=31.472gc=1.364factor=1.787zXZִF! R]ŗXf1-q恈͐7ӺV WQ=)"jݻYS]1=E1?kzS$G,y$ubS|.: `@% و_^jEp hF!pXZ[m!&FO) [~W=ѻ1r!4W4)>X5cbqwv4InsL%M]uL 3Xpa J5agi_% [TN@\*N<إn A ſ{V>sJCsm2⽧ESd 2gBU>SjdE^UXݢk\"(%Ų( 5EۣϺe_̪ǂT~˫GfOrpbfHx3*Ȯَ1i1-aT'.yu`BlE}E\WVߨ))DҚGy/`J6lb^b')ofUs\O ]JOXw(ϱ!:6jfGs{&oNadb~z~3>b;qU˔HV &/(7# QRgYZ7zXZִF! R\]ŗXi%}Ch04O)LjgnYdGTA-G̬<-?["2gCQV'; iPmmhߦIm7$]PPrj5pR@euxxr+TG^Z2u+Ǵ]2Ra*E!pfmm|?kğ5_EY.l9\~1}ڂ U t?"s;ADR46?&,LVPߥZ1x#o3dfw,# 2"01;U>gP ĬME}1E:?ۭ >nc"HŸS}ZjRj^8q"+V#i}Ieja2Kφj Ht\ԽsSO CϺG^uSz=.Q+R$_Ku,>^Gmg_.tPd_uE~4G`_<1k'[s5y2ݑ