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 p- T ]S]Relation_Algebra:threads=2elapsed=27.657cpu=53.516gc=2.240factor=1.937zXZִF! ~]ŗXf1-/6vR[O9xFuIˍŁ]"*iFYځ_ci;>vbQFn y`b]xÒ?2%RSAm^D!]h=t/]tOYc{y8LrѱjLktUL&y_#&y`DcUc 'W2uf)ovf{*{ yQme"\vY#j>%א7ndR1mSGUc1oG<:ic<=}&MFSB,BΠaEh{̙{~JUt=[Vj䯬\3|@r=PI&!ܼss~Xyi%);756GLj-ԋ_*rkzAP%@+,ezk`jVz" @ߏ}OF~B5׌U8y]gO&ԫ= / 89}35T"7A,fk#x?s0gezkkqƪAOʞQbutL5',$S(_4̗ u:hpmW}rX5H^m57 P'?n~3w_7A"RiU½ !CaW&r|Be_ÝC(8;BFEfrrx,JƶV}"7"Ѷ ÒҔ>9r]'|9w*^@pHv Ƿ7/KXhCw7-6Iʭ71oc< D|6G֣}CaFB\I/?Ƭt㾠\ KU R9Zb>YYjOz^]KFXYӒAWQ&Dw2n]Ve[r,șZgv48TBk%eP~MWo Yl1QoI_m4F6R4+\y7RZ(cFpԎ3E4"UpCYXobo`P}ldn8WjӹJ9^yjd[^ NqDjt =0e3F d8ֈEIZY^ͻhTVKu^X(_Ǔ@Km8 M+KOL-UMA^[H>xtf\my,*e?H֕/q+rd=lccJN9P~5CIqأ  gس3!ja3h{^"HNs6NZ\xĵi呆'h؏䜕ZQn͒FkG'C3A, p:Zh9eAUEdUDWleкs~}-y䜃+/r>@ܭKgYZ19e626359542f9ea22ef28cbdc90ddd86d491385bc695fdee8824a798a8d382701fae26c53fc4747 5f7f982d9d8d0282fbc15cbadf4b07b06a8c8d77 d14ab3baff99d8e7fefffbc4d657058cc7e7dc8f cd2ee2b6e1daaec5ea541a6c591a768b7a71ea3d500384ef7f019fb868dd2073bbf65926273078ed - Relation_Algebra