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  d D ] Category2:threads=2elapsed=17.041cpu=31.784gc=2.104factor=1.877zXZִF! N]ŗXf1-q恉 :NCG 8vۗ#Y1 h  PrJB3~ͼ>SkaB f16ꩯ5q vb+Æ9J:[+eû⊾C-sFd3G#((U:0}MTzG{Rڂi;#у1&ȠNN)%D7,WƂges:`P>R,_@p?*Dqm"ދ7Y1[rAmx!C\5D*k5a0tw@_y>T#0˝蔘}swb2Zc)` w,*j( -r@NrK`0)&seaQ?t}kE &#r:[hއ& Cnoѩ{1h/ٲGgdhorE"|':ųgYZ7zXZִF! ]ŗXiɟ1qnAcP꺣3TAaAC}APK4k-E_-)m(GGB hp z~K369IU`{XrP˴_E07aAh ZPRfOD.C@~J_W$Q+і]'UscPls2bPъxF/Uo?PpMPc,XNgn@Wqw5JgQZ dm#ԆURN dV DcoPby ^#؇yZjQJc SqI 0%Օ1-A;d;.WTF~NW[<7E /)IFxc 4ILV [! R%Sa=Ol `)P맠n! &e !eOUojʫ,ĐYZ:_X4 0b|g8$heP䋌Š?h_axHWQ%J%)hUNS.G_}neyĬD˳dʤbT?"C$}|T$~xر>PT36A$Y " WMߓ%TCyK}4? J?UܔI4rL= 6[g(º.ߙ13z#}cop;M`e6yk` \1), SxHw Bh9v<\x z%:brxSb;/.#xs2:=1<kAՒIW/S} 4EAaɷ-woBugeƆŌء+ R4je2g3Pt/.g3N^.}# l\6PB[Su۔Hhd4pa松KAcj *]aC^GF :{{AZ$"s$;o/ "]UhtҮNb#sT+n[2#jn('-$$MƃZr% \U+0WjsQ8en0cx~ͭ+[vb սfI ]$W#OxX]G  @W}3!1@q'CMq0ʵA:ĥCC%{&voT0G %*.qc{~ 2{Z&B݆`ڿ{w[ fk{x64&NS|L}sa |D[D:ߊ'pJL1VcGW]La!s}AyO%g>syeVxիT5H*rp@j½51ngm،\<+-Hr$@U ;n; ePCgYZaa9af9265fe383e1d61009ac3d92298c1dfdec9efa7050467ef8f63fd56cd5cc004bca4176bf5785 29f89a8c8c3de749e3d8f52dbed7d75c52623d3a 7b4e4ad0c078ab206c2a55cfc8d7c15e75b86740   Category2