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 U+|| + HOL-Hahn_Banach:threads=2elapsed=4.203cpu=7.928gc=0.184factor=1.897zXZִF! 8]ŗXf1-q% w \4QǼ^%fE0AgfV\yJފ'} [ G>/DGZWpv<:N.8U9XUs%_ͼR3|^39遶;gxSGܘpc'@c3'tz=n֡YMϫWu@),yf2䡑I=4`IQѤ/8ޯikA({S槺&}9o&ݒA^D10T?o".OLJv؃ hK )&(x4=, + HOL-Hahn_Banach+ ܑXث5}K~peC^9[ s28v%2@Q7 ٨LIx,c*KO[NȨ L/Q``Z$k[f25:һ4?I웖ܺjCV"sgfl_&WCɶJ \,y:Z7U/Ô @]_:L6"N/,MB.@߂vB^_b7ss ]\f68Z CYዔ x8B"L*6l2- S_*UmE" W22n,9̀ڊBݱUQf}[;E^+BsܘOK9˚5dDiy R?|B,֦"`j1$c7^|L2QBCL "n/ {?\H>9^}#gYZ7zXZִF! ]ŗXi%k= +8 eK})zƽپ΃_럒V]r-2q֤GBDk Rre §47ӱq"-ݳMQ9g7+1'yX* U=ER2 VaFˉ)`*~?muQO*r}̄yIN\of|T:Z~S3"*`Ve1:LrRԩ&R'uo#{^lSC1EtO!K@O$!&h$cd9/ \ 7E|'cvɆ#d7 8]0wK $B6D31Ȉoe~w ⯓Tg\d{H,,SYt}m\#ҍ쵾GxrGG` ' qݠJMIZuxU ^I豫/p&Y橿+rw D3%7 o@֡BK{QNt)BmQE>rӖ>(7HfZ_.,Oȋ`߷~2fm{AL gYZ1056ae38f6fb0dba786d92087d6c898a3cab8b5b 1fac670295d8d00bf309e4e625e77654a76176cf 391487ee4b031686a4d99d4d12cba9a269f2fd07 5ae6e0ff9d9cdf2024701147700d53663ffa826a 6fecd76a994d840cb600ddf6fd6d28a1c64e7394 81e0df68b736d3920bc374db15982283c8f02cdb 83bab2beffbf4ee896db7b96b805256be37ce7d7 982ca8168bb4e8ce61f4e8483f3957ba567b6bbb a22c745b98f17c67580b11d999e0fdab40574786 a6c7bd12a516b1b524b6be77e1594789f2b4dd86 b631e23bb03424d49e1b2efbc9665518164053ad b766d0f7c880a1d47ed7e6a84616d4d4cb6bacec c1486f73e51f6ecc1a9a3f0f929cf903dd647a3a c33aa91be9218d9708ae860341b6d5389961103b cb6567777c626bb2dda43b488ad022e4266a7922 d197f05538956a2f8a253ced34db1635ff8c081ed2fbbb72014e26de66d280d7be7d08deaaabe52f 8cba64bc01798dbdb9969f6de108dfc3cacddc4c bc315400c916c04295cfa60734d24fe7f303421b