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 66G? <\T ]/ Lowe_Ontological_Argument:threads=2elapsed=15.693cpu=13.912gc=0.232factor=0.897zXZִF!  ]ŗXf1-/6vRZˠ3h yJ.d _ocd"rը|T=^U>A dhsht5j')7;;5~% fK$,KV`4g"x\šڤyW 2܄*Fx`N>/aI$h' h*F /emGBaƍuR]c8L v9V -+n :f"0|:ǾA nOOņfP-#T>[ \P/- o>15,[_L{m0B5ϖ=in#@9ltMbmҙPv$˂ rb\eZ[~:}y5K-|6l]`]ڐ 71r$:oJ܂B `PY™S6gYZ7zXZִF! T]ŗXi%6.^`ƗC8z7sg"b`6S2vPA}ülR^t48k冕^ۏL ,FX]A_9-Lj;<y?8Ԓ JPmx>v׌V$O֋vJ8іk\b$m<SzShCFӣ1蘸FWt ,0c'#bŶHFϮ{,~KM[8*_Z#:! p[Evoag16kjt8*qBgZ!r:/o#NwҐ(HxN b FSbxpR5)̚l)r 4yp#=&ȱK(]4NFh ;W!ڡ=^8$/]TfJaO?1٥iK`PrR9x.|dF]lJ^!-uzZ g&pG=o@+ˠ2nT^T럐EŐRد;jqqƣCe@#| WĜwu&-8[).3^?=Ir'& |] ;*vS(]q}52YUgР%*?Tn`ك#??8վ"@ٴPE߇0oާ>K@*3"@RCȗ8kE3 (e掾Vܽ:HlihxHu-d6>eyxPϗ#&:HL/]ry,/3C፸)tm)HNj9;uDF_S#!@t\y\Hyoha=Y,l=cpt9휙iowm^ V(&km㗚ٖm`xk;4Zn"_BԘ+{9c_MŀsK)$_bw/g N |1|,5 xH,`xZA0PHT~.T-'^i*`S>t911ɩY5+͍d$Uf5o\u;F8"DG`3~Ny\Mesazj"@Ysd^c~La>AפR