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 3? ,\< ]/ Lowe_Ontological_Argument:threads=2elapsed=16.894cpu=12.832gc=0.200factor=0.767zXZִF!  ]ŗXf1-/6vRZˠ3h yJ.d _ocd"rը|T8`H$BKܔ4(: rdݏ5dgAqfķw J6?#|y!x H%${>uZZmN's;3es@gL@`@Oߖ[xpTŮ{Fh,<mMͻ*fTܔ^#zxmq2OsO3'{!$-P!AffmoAt:.Lkva*x:͍V ;Ʋ12+tS}8pHokK-]fǞxH )S{gv$:{gYZ7zXZִF! ]ŗXiɟ$is9#'jȇI[w"3_iMȥl;X{~dgc2 Ip\ Fnl!eDMJ8@~uKGra'rA˳˰w>Rr %'' &#qaUѧڛ^yBIXfgYZ7zXZִF! `GU]ŗXi%93,/7$nqze?]l0!aX_p/vE23A,jKȳs\哏 ] 0"-SrC72^T8ެ26Zc' pٻA:֞ބejh6: &`&IdgsFV~跛8'Ht"$ro%N%;~  Vssj[fkx5J&a-p傅l^0&šwS`݉K>CC|OKm-k PSJV,߭Mwm携KʠDTtJޏrD39#k)yx|oMtf`jwm\@/ݼZ+~>\-Q+p5 dKvU>׻T7o <$TLj?Ľl q~h8jd?rYRaSV^C~lLu x QGj2m/rlමwЎv#)ƈz@^wXf LgzJгͳHxm\؍CH +^CQ60P^EalI{I܋kM^RГ_=s:đR1Ӹ׃>]e}T_x;r{Lz|nh{0!Ww>鑦c#0DK )Sr;xulϒ.F~`\7Fo ʡқgFV8,RH˅xb=,2y_Q2(t?4s Gna2䳝|yb*4s7OL'rwOy#Hl$lU-AdşX,zqQsNKك\8*i ,UDs'=9 x-}v iz2lP{IاITy:[`DF۶™ HZ: c- CQSo- (gflgYZ83a7519c9e013f4b68d7009780a9751e57b03e22a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b 246f6e81708adcf47b424e236c7a30d027d9b852 ? Lowe_Ontological_Argument