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 a1 l % Stream_Fusion_Code:threads=2elapsed=17.178cpu=32.460gc=1.396factor=1.897zXZִF! s]ŗXf1-/6vR[]`^O㍌GσCU,,#DF} RP4HQqlVƽ%ԖO۸pZ( dKIGDDN#}R7nBLEA0,%_Ě蛉=?/HZ-_̿lڛ~"1>q}E0B3X>7Ь>B/}Sn1G,e!8:+RBecHĭNұ_gO}z6N98G]-ElJ%FW6`GIbZ7V,>z` 1 Stream_Fusion_Code>قyS78XbWZ U|s 75PԼĠ9 !^k\S hдw.KWDF@wbˡl4q#{6GrjSRn2uVc&!+B3nwEY(B԰o賆-FH<T"B+4RҲ]GkܙM0xTW e Iw&r+8TC]Ҽ{vƁHw2^MB{\ɕ MA g(axΞ\K-g 州!tygW~טּY]K[K iR6+Iߛ n7HɽiV8Vv|%I{qzf{K!^.;XޥiGB4{ǠiU+܆1Jq>we+pM!2^vZi_)T,I]Qft; R/Kܥ^8T!wf[W.P]X_HJmXW2tyQhԢYU'2]:R{dv{6\m*G+4ة1r¸lޞu|yLc%%̂kcB P5"mEWʯF15 ~|Ndp7RC|@KAy; @ qézՒ/Xqk1gYZ7zXZִF! `Mp]ŗXi% DPSϴ!R"TlK mLp0dㅉ8iebl;-hT܉!ƋqJ ۻ⭓X)XRH@lIuAx &t_djd4Bkȼ U&4/D׉'S:k2N鵏rjs:_]z-"+xjSgCZlMuFL4umDK~zZSC %H.C?4Z祐\BTlPcӊZB25,.'?걝f'r)e/a7+@>da.tH*$g/=V'v"_"ef6LJjPаBjyf+nKYM#Jf$/JտX)lgClF r8ZDn1UlEbv~>?wQ|q(nǞaKM #LP=YM-U-qc<;^e7|IvgU5UuǧȉGѓ-.Z-zKRb 90ru*@G:mǂ_m[${jO>K`MXb6Ppbfoi_)qayGSI>#`PҤ{