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 BB; 4$T ]/]HOLCF:threads=2elapsed=16.224cpu=31.888gc=1.776factor=1.977zXZִF! 7]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGڿvQы!&5+` 8pu'6"m\Z*[zLS`hh:/A;P0{hqiS=V<8x#Z1m!肠27|8FйC$hGȚu"uכR*`Tƿ\p`b Z _GD6)J2Ư"l2w tgYZ7zXZִF! K]ŗXiɟ1˦r~KunύNN{8@g* IykT+8czn˫"͋Nwʹg#K* Uu V춂EkRO\6?4He5y1p\]mI+T8Tո/&:ah`@&,Vj4z m{ wbi&@ 6i.*,c:SmM"IgYZ7zXZִF! ^#]ŗXi%9(P)+Ntڔގ_Մ`>׶o  =kŎed:]&rYA&RC"X7͡Kf[ő5YLYE.q) ȢXzF aH3&W)0I Tw@Jtʇfyz+Ųԓn!7f NC\KG7ͅ1>A l#"%?.Q cL[zG{ Ͷ8Rcn3c}  l/:kos?T[N}&GHaXDEkMNFc GaBiL3>R遜g'S2fS'[CcG9-fKrGm'HMnu$1MGoGNX>3-Ƅ]v7Z5#vvYҺE0e,\^Y+@$CD1ՙ! hc *"u|]K,EomDd%߃Y`3*,U/:k0tv|.ɮxmĘhuDd_I{? c:[8~Ŵ[3wyY0A_'aoABSӾ`@)XCp7J4/L3q{wz޹IEpTRYGV"5 Em2=rC 8+R9Ҍ4V5lG+hO %叏_}So.B;=?.m\>q.^Y|93ƸlK8e=n/zFj ͙tb,:}sM,4)YOX3|=kRr =:}5%*zҺ*4~G>^iITvF)f`cVPe3%;]foD1hEoMTHv;pW*TT˴DQfA4YrY>r,PD9Oo|eCcH1}V_BgS#7⤻O(o!24iwҫC