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 a# $$t ]/ CISC-Kernel:threads=2elapsed=22.259cpu=40.548gc=1.736factor=1.827zXZִF! K]ŗXf1-/6vRZx>3ddCQXfh^x[++謵3fFK汬X2>ee81>ZQ!8S[ԔzxStHMEO〖&]=@]<xJk4n׸s+XT%$C7E4tV0ն w_;) W)afx7Ú۠A ,RpZ9hm B^bqӞ\I%L6ԗ>BE͆QJ5 ׈+-r7Z8+:@j/Bf&=GIUox>yΪ/M&0S<ӭL`T@PҤ0b4c'cb=\DwcgvfiNa϶Z>zm9i E5F"PD\o\<SI1I㱎:O?# |Q!aݩJ!U:0% <>Sz|Fx-VrJD"Ao~X:®VL@ hmZ 1z%en+A 4qc}.ў }0#=)e*48Gݤ#F+ .=+>Pi+{%<LD*})҄zN:YRpdv)FSR蓼dk=pݱVf4@دAH5V(`_sT%E"\R.yL{C~JCsKu!1H+$!iaXrJq-H#[:&#Ĩ c>_R~\ ZgYZ7zXZִF! J]ŗXi%ή+5ر?j{ىsY]>6A&]/]!nͰhpi_օ 4HF)|X!ou-`JCoTXЗ y4EHjP[D `썗vfFn5ˤj/m\_³cNf,(GzG%Vi?^w<{աH~P%."ُvE9(0mWP!讲upV9p,K^ũӧ74)g#%uJɒ5ݛ]F؊BC層R;ڇ6&- 7r4mO{;2 ]GVd{B[pi>@iۅxpO{dC΁pΖъ7hiB7 i?5jfyjPGNtd#arȅz{p/:z)B BKb|صoq?L1kE;ٽ2 xr@N5B_v[k^O&{,YЕ4g6GH sm&p&6U{'.> 6ǩ Ӧhż I ~ 2gx[bT~2bҜ.g=_$ {zpϣq]Tˊb f,d}jtKD[% oq>T³7c+ ?شAĨ>p8O3qCTd^Pj͌W}oS; dL gWh+@oBqlr}ZD@3L3}QE7V\Ccr[kmʶ978B\@"Cg#B{SYP:"d ;JnS s}D/,d{o?i_Ll{T5 |J50Jg-p]1' \qWH`&*%KkvI5x[yۻ OA%iFM޲# 7N?W޳4:iDŽ7؅)}Z3O$$! 1ʼn7hex`zM CÃQ؟ h{{ʇ0kn{BbDHrTʜݕXN)n& 8JLVTj6H>t$.E%49w*Cަ$˻Ƽ! fS]dg `5i.W?ΕJq']蓳ٹOc->G|58N>@v-3Io1ltӸh?1} e')ϻ5_×[p9c2Mrا$