SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 66G7 |  ]/]Priority_Search_Trees:threads=4elapsed=16.586cpu=36.724gc=2.456factor=2.217zXZִF! ]ŗXf1-q恈%kV^M[-U xNo[q;O^.%{ժ"lZD:#{bb#L{pyqjj11.o8TFgw#gX 'ЃXF8H=ۚ %=`5tK󷐹_<;4TH,4]E\@pj)p4@$> ŕ?@prɺ^9T8D}Nd"JA]czQyY&ؘYs%X]Pom[}eۦ@ h-:wC,BJF@~2Gǜ6m(Os'q2DOm5@J4bM|] “ 1 旖B}}El`_4}ˍ^?AT/lwk@ַ|'eD|ρG$45"\aDpʝLE7̀5gYZ7zXZִF! u?]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻=#Np[xdR4<ʃdm߫49Mj*:A %-M:&)3hw}Ku5\P=6-Ǣp&.5E(W5}ʀ~NnhEPNEJR=ِ8xJݰ/2jl𡰆,!7iNmhy2$KdՑנTÖ`2KWMT_E8KAǔбzNk]|׋V49dNxY(srlgYZ7zXZִF! l]ŗXi%G> `!{g/9Ӹ)}Wve6@A# yFIv+PaNX3m\*=u;&'}gpL>j m$^+T*I=)VJ*;d7QUӟ(9եx7>b>{pJfSMH}>i:pjCUif cmͫ|iZ,P[NoeF .ijls [GqSc cx;B;S~J),&%4`.BU\o3[S=ďDVosct_z#;z̵. + N㶇p[Λ|ӊv_No7?.\o& t_KGtNy%;+IGHޛ׏4}~ˬ.3‘u>{ΨZo 5r GHKFR=bo,_]]c9mF\ZȂv̶ji>g20Mr>~DimuF^+tA Ʈ&Z'$8.:¹L$o^as @e[y:R&9ZMa_/,Y-wTzN(>򡥤,Lǫg:{_Kcl0nvte 2kT0QR <Ď鐛4a9Jh6MlJcrHFz('zӒtEo[bG9OJ\^FJL{#[1%SQo[#\O5sďU3R=;18 7)Q"k4&E}F/5-D0hI"YL٥HIOΎosZ<җ4ݦk}wCYdzo qg>Lv*JJmrٸ%!/;0bЌE|J!As:ؔ)wJ.77M(!St R&}ʉHvZ3>7$F ( p0()#l؆MAZ-L<^}KIfZhU 3b,B=-\ZH/S$ֽ wrډXBy ұ y2R?=6FA'"Q̄{B!"L$h(MaBW8' ?3l}& s!2 })R$R~FpDv glD2ZHM{#;鳴*A ˝0\CfRJigZۙnB;mwgG'ɰ$n` |aj3D~ Cq䗩;yP~nrH16Xvv"a/֙gb=t9<<㜝f\ Kce7VNŔPHrZGbkp ~yF dpcgYZ171d8665cc6c32e8fd06eb0de11f0f302b9dc91e4e13432f40f7b1835a151e11bc124aeab3c9b529 476b8b6d93e3d9822aeb6dfada9a4f4f5a0de6829a6311088d7382b9ffbf4cc7a28cd8b164bc1bb7 7 Priority_Search_Trees