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 <, / WHATandWHERE_Security:threads=2elapsed=48.823cpu=86.172gc=2.412factor=1.767zXZִF! +]ŗXf1-/6vR[]IJ!@W&acK@jD; iֆ\tB!EL=qWo[kw%oil #Sw/V)Bc$N0>Y0}nPJO2ͦBx X¢0k^=u:$5Vu+,!SoEhM=戀pҗL7EBD1&adBГfqзk)?yV1= T'{I%3L6 ͺSr'H;* 7 WHATandWHERE_SecurityUYoz޽=G/'f-zw +V(J55!^\K2/*|˱6Cyq5`7I>):ASȵ7N3@=! R\ <#uBKK=259 8 FW!өJ2ZDN 7Ӥ51כ5pFRݰs/9nCi (7` 0(diVqoTU8߰;ؑـS&bÝI;\I /)860-GY'3Hܶ8)T>b0EXl;aS2% 7:@bӛgOj9 v"mqe;oR /NM{>L&2J^őTQsʎ[^(JTnWWgYZ7zXZִF! N]ŗXi%}P iI+Nv A\ GçE>TZ[@$.~]M)z)Vq"X ZW`ZvOBm/8!{ SrW̳pet,jwbuB8Սp\,cϫn¿X${'/ajEe UI:%qv81݆go:zDٯӁ|đea(C[&˸$d-*L3|P"T.YNY6z145JA ymUPL݇{[ܿ Bv?ES$"ۂ)mVr>P"KS)^"rAqJGUd>ᙄ+$}R lb0 iWu"v_qhX@zCcN&?->4hhəŒyьďp~7%>K;L@ιsUx 6@Yޔgm, ٔ}T@>}qo޶俸Q"vS{Af~0Ϥxvs*KoC2m5fEҮ溠YoFor^̙P^*EV*P%mFg1dF40R b\erͨPeB%*I,eɆs9UQ턮Q2R+> -1XgJ#ڐ*Wrȋ Uܜgylʮ1 &jF~S}F`PEEiOЍE]RK&0-&MaT/y