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 22K3 \ ! Functional-Automata:threads=2elapsed=20.220cpu=27.132gc=1.312factor=1.347zXZִF! ]ŗXf1-/6vR[O CИRO!,<^6܁|kO/gMRg~ kj'ݞ |O"E_)_L:(166Ph^+2:|GrTRU w`v܁6ݜm0Z3!'ϫj`=g4CuDpܑ_oLN@8jp`F2{7'UMHCK^~&y& |E3Psb 22-rXR (Y}ru6Q{)Dlȩ9 ʙ lsYcpqPꃲ9DPd2l⠓ɖG¿b92#X~pzƉD3; kh3nwN,]w7DȈxHF'tom ͸%lPrix R@+ӠgYZ7zXZִF! gy]ŗXi%6ב 0}_'Һ>PS_Uk03 -\ L: C6Dʿ2%s"cD?ʽZF ЯZ{2W/!R&@%X+ۣMSuڀ d*-z|/n5u: Tp䁽{3 ,m^mK^ɥņҦyTmU?{]3{ pig$qSIJz&m`nR x[7 Y'e +K 2 R5HRГliHF޵!;YϷ&/ W! QDuU|t1)vQizD8Fmz'{_3"/Xq2RT5a3"ouˎ+mT=#&cg[C6KC(kFl@K|pنF_ RMaY;zR:w_tl *ŒhF#"/6܅^˃h".i_BP0ɇJs BA54¹ yxSLۛY ۛ6²ԫ BK8mK<ׂ陿5;SspƤ q|;f,-_ <5fJ0L~ip7 : >'JΗN#}v @c /m"Ci ^)|,#)LhNI;` ˥OLcxBEyZP `P43 Cd11F{G6h&SR,S%F~JyRI^y5ARJgZ+ɵ a|SB\Zh7U :Syk8*:mCP󜊋.;#k}拟֋{k]\~,C tꖏj.ÅI5ò5.k()CR-2G +r~%9Om C|ɆH'X]}BۉjdeK賞gud/n51 s'hm6=5"^SqY-;"}%57>[zS ֞"0 EgYZ032e278e920e748cf57a1020d792b439fb524244 15657b10c3cfdb6731b588ee9be619849fa04b92 167649fda375a2b2728144f561379c519b0aa5c3 20cb9f5afc5e713995d2158ba2abde73d90ee697 2d3d2f28a6b4bc4fb7ec5c28bc921d540a84ac25 3d085b2f15013ab9cdd8983b82002e5b7e45d759 565bca3a4072752c3394d300bd4b40ef3c887e35 5dde3706475c6d0ae25ce0861652cc1dfa5d2a9d 6b3f34b31437c70042e95bdd0a1d13e4c08cf201 83ec2123cbf6c08f5043b040b0a083203eda6eba 861b619b7a35db58e43bbb862b380e2be327b8c0 8718fc14a91697b27d633c875faafa886aac9099 905b1d4788b326cc646d4cd82aaa39b022b158d7 9478f098439f08c28b947111f6139adcabb6262a a1c7d25bf011eeec05ed314c00a6939226cbc308 a51b93af309bdf505ec482d1daef6c910a7348c0 ade5c189d50dff0519e09a1b06f21a47140adb36 c3ff0da789f71df5d545513ce6af382a66710c16 e88660c8990ad2590c38014612d01d7a987fb036238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b c56ae9d5441b629f77cadaa07ce128a6fd02d228 eaf37427e14379c6b5bb0549a2d41983fecb41e3 3 Functional-Automata