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   M/ d m/ FeatherweightJava:threads=2elapsed=12.111cpu=22.336gc=0.764factor=1.847zXZִF! J]ŗXf1-/6vRZ9@{q$Szyj߫iIlCq4D_HȅC *hoo/ / FeatherweightJavaA0#bP aѩ{.7< ) 0,xk{ܥ?BRͪa=렖%YoUW\à"6l/Rj| VնKIZїwȅ8.\$r&2kq7y#9x>063[x -R.v+dMu 6>;#*m _.teQFж9"l}IPU65Mq@,JD7_";6<ëPF%2h):CŲ j6O<)U q tkʵA\Neв ~Pe{@$lW{թ-DB :*bm~?Y.8k-WEd~&<='Drwpk_ݖpJlb`Bt}Zff!`7zCTZfi/A}+iH]푚Z(kVy4 ?nƀs6:"E Yw-*-=yW,`~܎Rij(͌b2oXQWS&z 9H"$\#}<${p AݛD|:w &0T[ڋϙV 6#ZX'<2x\2/=v >jOy=505 U eyX&JM"GGdd=6&a8 sϟB==Jt;".-u oV>o[f{׽LmIkB"Ba߭u]h t^0ػӞdh[rYx(G9fn-U`Z 2`|Z/j] *aa` $Xt%8\?|Op*uI\[cپ<ѝ7"wFigL:-3h=j7'K蝾f𥏇@Ɗ~ ޠ_O:@+oh}<73;gfMy71~ߘ1c? +*l y NO:+e4.HٟQsmOts6)T; ǟE?#M4RD<38B\t~9mKB{rnҜ'0"վ.DӌDXJcJx9ڞ (vذUG1udPV$? v*?9-\`kDT~x=겁8굩qɕz6fC$qA͏l%V,?hDvd Q8flPW| CoF4 -\)L}Pum8Z v;7 njxfrV0 _Q)L4Bںj^-Ј#խZO"TpS»2EwRD=Z3r}CS멀,,ec~Be3yoD:\TcyGᗴܡH ݫ"lx]M1lcd7>`bӏ :vxnm[1VTy-2 q!>M9J ⮂ ɑr.`G`/og0]h#SFt^7"{c`AA-qeѧ|x|MNT7P>EcJ, -c"g`MB5ۅ&Ր>+;QM2= <d`Q0*qr[:liWT#U3zysjL`SNoU_ Tavܥ7홦锌loP4? !]LЂ8wBH p90eF xrbuR/Îg7XhO*R~AދMҮAl nZ}x1k x)GKtsǷas{'{^8ՂD`Wp9Ў1@av:( u#k箉zIH89E63$  Ҥp% UW% `]K0oc"-K>mmW Z>DK:-_a&x\<+