SQLite format 3@ .;  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 33J 4LD ] ZF-UNITY:threads=6elapsed=6.031cpu=31.472gc=1.360factor=5.227zXZִF! >]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%b :ޝ/ KWB5 zMO$ (s}L j4Vc}~71ѻGu+m"b fr.~'4( fMV[CMh1zY%=ǎTS2ZV)R|)Qj᠂{Y 0ԷgS\On"/ՎaW@/ȵvuS*{H,V#i(>gw9DO}t_#Oi %l-,%#DL,MPhȰ(&M3u5[l3UhA`S|dUc.LݿGYe?Idq~5e1i^K} 쎖T4Űg˹uO]J(zəoBP^æ,diR>-0MfQt'۵ ;SWq=NfwK8!QY#Z:̴}!bOhtʪ"IVQK Jv=$AC՟˫61.&OrQgYZ7zXZִF! h]]ŗXiɟ9 i:4V;}A<<ګMP7h !b~tlEh[: 1;XU]8}|vOlShx2^NE؁Tֳ-q~zhXS_ J+Ǖ*J:PYNWIaTK3-!kV- |:^*ݵ0x@p ErFĭH E_sс2TSJwͅTƹ߼>> `w˭c(j;TSu: OjX%o;!IVbū(XNF.*P6aKoNϸZ, D-gYZ7zXZִF! $[]ŗXi%GRLUN%UܠRLD2kww❺([gkjêXǸB}0@xAM}5I0d,$#yqTtVtݭ EE*e[E.us5 3Yn(?;BT{}8땫DUaKD囤drzmd8c.(Vy}(T&^פ]&!W覿n]δ=Β4K2"D=בR?.O کEs=#c K:[YA'B x|۬` nkdOnn\&#R6 tjJ\*eĮ7s:DW eazhzKe-^YqζU|QXз!pꪱU&&[:RszʰEu+L^`>N"Ri-k} 亍 Sk6| aF- )^h( EEVCu_1хT8TeJt<>:@!Kq4 NZ,pC?3fews}dĨDk^Gfr[< Rr_)ŷ`i;U89*,Mu8/(+-h, tI\:IQtB[zY~te+^HfgYZb74e156cfc6d7c117277195f9aa2f9d685cccd5f4a94cf884247418bea313a9db35e86db2b51269e 3b01fce8cf14bfb627caccda0bec98ad672ad21b b974f52a43738f24017472f032b42992cc643cf3   ZF-UNITY