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 E+ Td %% Cayley_Hamilton:threads=2elapsed=5.612cpu=10.396gc=0.220factor=1.857zXZִF! G]ŗXf1-/6vRZy`ج] tv#[/ ;=!{FfBc>w KL;pUW@[4Y3ajJG'k$+9 \)w;`EB&dUeR|g唀knmK)#]hS >nW%pȂ(3-(^ n §f?ҏ?xm2|]{\ZE ҹ6d7xII||R+rZ_ϒZՀ:hVY&/j-~V಻ɦ^&s6;JX@6P!zI) Mkeh;Jpt6W[b"QrQwdtG7LW~f5/9f S:9>YLpPAQm&/ru5 pxa+B ^?`p?Z,Ќ.%}`<2gC6(uċb1M/WּU~ƣUx dy@aH)ݍ_aJ3W1E4J'4!ޖ8ݩ!wesը21(]H1o=fI|g=4`oQ&S4h)ŊذO/GSjQ`j[17O)o*=^M gYZ7zXZִF! "]ŗXi%r In˓nIU$E ڹ$Y0Tk1Rx0Ċ*&)Ar9O0冾{oGAqV U~>nPrW]Z!N|KueJ}/-[jfoh<qc0i8b\ѕD ׼2 G٤8{%14I~HYYz)Æ\j<|5c_0\o##}HTUG[IZn˒;5`cqB"-?ӛfPZP'0 t* rωx`.s/Bkꦰs3R;e 5lW'ݳӔ"nW GOflvXCIMm FS3΋Gi,[ D.(Cdpn #I 혺=Hf &e ]ߥһDH s|S={R#kyy3)"A׮x38L>1 #.8*`ofC ELÚ Ԏ869 Ԫ-g#ry4:=h#j^Y>N8ɹ'mAqtՋV_6 \KvO}Mga0/Qo|Isc79gc&OId:B)aIWUeQv_\/ qJdCܦ_hpE)AgYZ43bbbf0a3ceea2dd3fb7776c96be8e1f4b5ce3bf 51eb61e2a492504af9f8148f71377a549e367dfb 54d9b6a3dda04d5ed7500cbe6262fab009975214 71409b6f4fa56576db5988d4d185db37087afb3e 78fdfa1d3510f6708f28649e4043efa157ccbec23b94e1300442e1a3f5f809d9b370cfc0bbbae59c 2f80d3f93a8e8908ea20a991b6190f7aaeac097c cf1f16d97467793acddbdfea0d823a4bab350303 cf54b34e30444469b3afc37db385a08e9ab8df9e 84623f3e4192cabde7f9bd2856ac4d80071a5457