SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  F F7 t$\ ]/ FinFun:threads=2elapsed=6.754cpu=11.832gc=0.636factor=1.757zXZִF! 3]ŗXf1-q恈͐7ӺV }"cXH?c;MՀYxs!7wgJ&ؙ_d̖ú(pRHo2 =@}[\ҿ7lSM=䘡(lYf_%MԿZ n~?9n7[PJ{HʝLl\6b+m#`.|,@ )±gYZ7zXZִF!  ]ŗXiɟ1˦r*6ѷuVBm+Cz#!5z{Ge25Uʶ=ƿ, eYᠣ4yVmυcW7ڍj 2XӆlV 05; 5v gYZ7zXZִF! 2Ph]ŗXi%;C/n:kUwUKXxl?Ǖ'M1V,ûѰY^n~{Q+]Wj2|b]Z M9 {[TJ;>Wy'~$D@2ex%p `4vKIUn BlmmQ犜t"D FMsl D=†gOy쯈 PyJ1kƤ:wB"wd=E4sl\#k!nF яGuhLh'ƛ15{[)Ejd&)'vkyqi*rQ@+!@\bM4!)҅p1?.oPwO׃#!ȿ (i4e۔qieˋOjFCVjBԅKG~ E!F3u\ i 'hN>F=ZX4эӻl'Kq/PZ6s`bed5300Λx4 m@eMQW1#i'XV_F*g%iK@O7, UDq[,sY slV+-J)n }S.8^_y}Ś+cU1&f͵41V?f`P8"sΎ[݋@3 ZGW!f}@z78.U6 ,XxX !D UO9BA`2Oՠ0`P"4q7evY#3sw8tP7h_Xi-G1V!IJ>bXu;Nk SZeƋVըކ͙g<ѵI~H5Ȇ"P["oݐhؿldb%gYZa82578d0e116223bfe011d452f759888731a0399a70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39   FinFun