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' \D$ ] HOL-Cardinals:threads=2elapsed=24.674cpu=44.672gc=1.668factor=1.817zXZִF! ]ŗXf1-q恈<-¡$j2,xZԵ/+y}! ?Hd9ؠ9y~ghLd 1] ")hGWVIcΖU tZaaǹ3]N8l*)7 "ܭ_h<,/tsAB`NWKqt~Lρxg>:x'z) 0y.=c"nN'\=TxPQU+jSF?Ujz~tN*P:`n5Kni4|3A8g o呢xv-Ycy_I¶$ UaDfI@|<@eLFa3dױS&10%"pݯCAX*-t- d"%gYZ7zXZִF! ]ŗXi%9(Pψ5*pY~}zj}3D4W* /Y(iQ8̭1d=\8I[(J=NoS%(8'u6wWRy_$M7̻iԠ!5{@t'` h5?@Qj绝##egWNcKť]`|_jg-| /pFSŠs})HWjsMyq1n9B̼z)8}0ĶL %~DhyճeKx,X!J2qxn(*6;jz*}( %,ə4 !|ڂ0A׈Moa'Y0 \Wg)dBqaJOPj_ó#G?}5>ǖ=&fZ=,]zf2rP?  n+1crvKn$q +b%#V;Ga/8}Pz)k A-pF:twx/'%DO' `+J?6W+5N9gn o6 @jb-"dxw(b&B`?p򹳣\A1e9TpK94 ꚷܾihnp4)QEf=Ga^Ha rgYZ1b4a741a03b4b1750c5b49b394f864ec5cc57f066f2ea6ab0b5842682397ebbb65f675c6588578c2 e101bd57939f33c881a2cb79f6e6b917cc005de1 f35d613e91298ed96af573ceee500580887c6bd5 ' HOL-Cardinals