SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info xxq <  CCS:threads=2elapsed=26.279cpu=45.060gc=1.080factor=1.717zXZִF! B]ŗXf1-/6vRZxi}t7hSyv=4RMrQm34qN(Tce+5\2A†/M  `2v2dDr|SOn`lP0h[6(N=rd9R ] TE|8UC)[Aڱ$! 2V +'W]&I *-YN[`Wb|(36X E? re ܧH6  CCSO)q 8]~&*oV?_YL.RU#$k ?!dr/ Pm}e});0eb:8dș@Y²rp2j]!Y%`C4eV2OX i'8CaDQ)[ 8KИ`a%^5hs }t-mX4).Zh*VcP_J١dzGtMX4>6nM, Jh!}y_TB`]VC? 61Iq2Dl!6'"c`Y֪G2誯ܿ"4ɆTEr30PGjRi>me?^^1cu$KIz[%jAӺk$pde5˩f4)XŻ+n2rݎa2gg]QDDo>%m6CZ`W={ eZ A"04^lPwlg4%mtU"u΍@\; j$lSZ`+Zkn/8ҀzR$ `XlQq1o 9aAAk'J7Q ٳݎMVFaMs& =Be}Qݼ9'C ~^ Qi~B~jX|_%!KxR|*N.$NcP>&[\}K+7"4 t^u _?"mN[PR:ƅ, tG-9ꤺhE_R-SQ2Y5X0)"'.?X" "m9=5vr~wvMm;kʧ)yOo`Lbwfs2_Wՙ_ZrMKtOa?w>5m@K"0C۾emLXZNFK0K$>3F`9UT ZAAJ##zIﲆ75v4|]hQ^43ru_ȳ ԜOƔ>tv n $nٖ*q~MxioSÝ eEyP3qF#-i1hkWg[iUHrKZӧS52Ȝ>e yr&ou,3͞bYLG w!WDP!ҡScyQxCBla)|j$Gӹe .ۼ`5OACN+^T#ٲ]S٨;Bai8ܫ+ ĈMU {cpAS+e',q %P6?{5HrsќM{M'ZWΉ{  HQB!7`5= an땧@8[A8|ZSp>lp>0;*j|r JX^dYP:,uh6]9cESx̋~$h[qe0Z>ru qTώ.˯ aXR@LPap~5XHٝLڬ㯴ip3|7(P[L\a- HDVBE-> ΐgYZ01733c6e4c2c1915db4efbdf15f8f48305e6bfb3 11c75d00b612dc5802f9f13afe0ef664507ffb5b 1d63adb9e2f7185391523dbb950c8407e64b769e 20da989a6ffeb514c7b04c76f6d085ab23ab4209 2909ba99920f63a880b3e8e7ad8494ad01c07e9b 2d3de66ea801849aa0987edb5bbeb27198ea05d1 306941848f8b6748a98e5d2c5cdb60c343a6a9d3 3bb47bccf9c60672e53d4b13212d3dc75f4c2298 49d1932fb6b0a8391048aa1c31cea3999e08ea4c 51c55857ce18be4352fdd090ab576d218e59b0a3 5c234b0c27f6ff9f7630300885063c9501f1784c 5c67a0fc959472193f4df04615d8d890bc2bd34c 5d44ca43a410e7a28fed6e241b48c65f85021ff8 840c84568342edf8bac92454e3710d1cc9097920 8f2275b4e3a7eebfcb3f3011d89202e8a4fc2230 a1a8a914cc0eead1b931e4a16a21d49d347a0288 a5ab74f1e75fdbc09f0f8a270c4685962e5caefc afef20cf74339f762775029bc50134796c5621fb bbdfdb18aec08581c66ada7952f092ee36f5b5fb bfafd70a7cd13b719b4067f0e670af8c67dfd2b4 f7cead6b809f1c1012f2032d957f24335fa8e914 f9d6eed25c58952c100f176b559b4a1fc0fc851b8c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07 4c655bd4326cc947356dfdd882a713b0de06e798