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  % %P3 \ ew]Applicative_Lifting:threads=2elapsed=34.007cpu=57.116gc=3.228factor=1.687zXZִF! &]ŗXf1-q恈ܗ4ޤ9ũBvp# J}Rц cAPZc>cXFQ_/wiϏ&⚈<0"~1F1MGd<W-RM:q 3Od'&2m3%-"%m]u2U~ʌ"W=;v5$#yVk$h)"+/gv~_T-Yh렡*>Qhi,'#YrP}e % ʣjQRwƀ3Ә;\@lthk_nsv;+3)-gYZ7zXZִF! ]ŗXi%6},)aW\< 5 jvr`jRBm6f(((:K^3"`c{psT,s̴)ij\taD%PdrWKt99yvPɌ9V2K '| ?U1Ӈ D\xhĂVG3H5.8>8M oƧŢ|ʓa?y"kx*t&eW.  G Br%T15 U$o36$xRJx,gpi4QXy"/E >r)RP3r' L S-,bTys-q+ '*03^ef=ݬ2IY}xDv=Ajzdf3Qk bWIMb[T~ OD2{o){P[w{"҅'R C9Va-0Aۦ4־eG-I" 8_ƚQ-m=0b߱9J*,$)wY;Im m]Fm91V?=/ 23SA) \zBS gzQTgBv0O+/(IIzo/cg6M*MW#'e4>dgȪa[b"|XXEʝ=p`t os/_p^CڊLkOHr,GF1*5D ^hd> r{<֞ٹ]*C[\/>-өi@j?T*+ {63@(L;'PuFMzB fi+J>)>Rg0?*Ζ5Ug1ŽmI"<;Yچe:ʏ黴k,  VK'?J^,c!|fF"IDTWg~q c>h V#S5vP Iv(w#=K;i^GCjCCs/imZjy{T|Πm(Aܭn+Il|nqO5[@;JH>Q3eCfT[FAzt LB6ԘTxWgi-n{?G9+9_2샰sj]")+Qp5s \&HQ^˱eaPTm'<\ueQʟhd;J8h-H?Qz`*1 os*4WOB:2,O@"KIIO8uwn"G~r&xZ\._OF)3biMF#z.MtD:|)HyRȹ>57_r=!N;~_wg