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.058cpu=26.828gc=1.296factor=1.347zXZִF! n]ŗXf1-/6vR[O CИRO!,<^6܁|kO/gMRg~ kj'.}fDvs_jN'eDZDp3Ɩd\n% 1Τt ,F8#ݖW'M*8zx n ,UFm"Eiy+9wlK8T/=c&CN>xr;:ݎF%}&`n{}P<F쵟5 퀁[ľvuMRe)P+'ϾD=Hg*>'&Tׁ ѡ|_sJn;_X8CHhG/X}H6pDa "ɡho_ 3xg %) lD%#rgc2PM+W_Nm‹%dݽ!u(rxtUedd ]/}a9f)V5.#gYZ7zXZִF! g)g]ŗXi%6{B<3Ktb۹Tkt}R`]K+J^Ѷ?If҆}`/Re(n7w?Ѷ$hYI4Y\hNN)C@tA|(*e`7']vja60=L}M8/ 9/I_X]UjWb:ږ/*<%^,I;u_jE9E)fs":n(._NWb\r`-7tyzqiSi˵"AWRSwYo-l>b[3 017fhaӪS͉@=B\VJC. L;o͹wM>.6!,+MP3SΪ-"jі!+^ƣsXز4Dj#w(P/{M1qz &I6-۝߈i Kǖ/ҦT.n2°7kTa;.Zw>P| A5pbFpT|)xtd6ۤéU?b}ghzEY(*|H5pO2 :_u̞禋HvTYp9wi L"oy u{ʪW*IV?3`2Fjt90[DKh97l5\7anNAsˡ>7(UDg9Ȩ8k}W?ؾ_3'+IsQE4%H.u8W0EXRW=H {$ vo})nql,{C!#ם]OkX)|b7}O:>פ~@j,qApKzUGH*@†Won؇~yio U^.11pA>:2oju_S&&, wc?B㒌;#xoA)}^O:/_{c)D-ҀgJ`'YoC,iV!t sL^<6ᣟV2&-H䍡zȜΈ0~J? 'yevzs*&һ"?0 wOOeH|l['~=TWx/v3ҫ֫`}'j/-  Hs K,bVC;7οYlDIvjRx>XÑ 8'*b^]L / DAn ]gYZ032e278e920e748cf57a1020d792b439fb524244 15657b10c3cfdb6731b588ee9be619849fa04b92 167649fda375a2b2728144f561379c519b0aa5c3 20cb9f5afc5e713995d2158ba2abde73d90ee697 2d3d2f28a6b4bc4fb7ec5c28bc921d540a84ac25 3d085b2f15013ab9cdd8983b82002e5b7e45d759 565bca3a4072752c3394d300bd4b40ef3c887e35 5dde3706475c6d0ae25ce0861652cc1dfa5d2a9d 6b3f34b31437c70042e95bdd0a1d13e4c08cf201 83ec2123cbf6c08f5043b040b0a083203eda6eba 861b619b7a35db58e43bbb862b380e2be327b8c0 8718fc14a91697b27d633c875faafa886aac9099 905b1d4788b326cc646d4cd82aaa39b022b158d7 9478f098439f08c28b947111f6139adcabb6262a a1c7d25bf011eeec05ed314c00a6939226cbc308 a51b93af309bdf505ec482d1daef6c910a7348c0 ade5c189d50dff0519e09a1b06f21a47140adb36 c3ff0da789f71df5d545513ce6af382a66710c16 e88660c8990ad2590c38014612d01d7a987fb036f0df918d4045ad6c60b23213b65e87e41842eac3 e02038ad1e9503a02a8e11b7cb457877cc454f98 5e2d9fe647698eb3de122778d18dacd4a9a66146 3 Functional-Automata