SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 q- 4l S]Relation_Algebra:threads=2elapsed=25.718cpu=48.884gc=1.808factor=1.907zXZִF! ]ŗXf1-/6vR[O9xFuIˍŁ]"*iFYځ_ci;>vbQFn y`u%eX`JYX6wms[jm{(ӗCX#· 5"War,L|k޽_ ؀.%v"r?XON&߉Q?u 6 F՘o5fZÍl&eѝ&&uZd&҅bru/s.5|Qyq@Zf1'X5;0CHuvQqmU}TWM>-+b=¨ۇI ِ47qaaZNۺ5De0 Dwz- Ѱ<&ab8Sk-R6qJƕ.̒UP)lቻ R]N[^E[g'N@[/DIeKsrE .ऽMTM' õ!VukKep dNEPc%?~kR)5. کfc{Rs1XSNń\ z}fj`МkeZ}}3?uaiո]ifV ߣMP,S-z?e1ܤ1U{/O( $uc+cH.A7gYZ7zXZִF! 2]ŗXi%6̄[rr˳3+ѰK%5 .H ԮzbLmMNGjS<ޤY>t_)GR]| Tpj0=t7[Hwi7D$g>G-0{(8u HsWAx:^İИA7=jmrݻ y6UF0F1 `e(jF=Yx s1W7D"dzb|v/H<]Rer 3/2`ғ ^E'段+|]\09}X SV .8rHߩCZxmu2?.awA]Mic-`ƑЛkKMlʄ47ʦ:3#T/ZT"!bꕶw6W.XDƻ"/5C{g})[Ser#'(;Р!YYU3h%;!rNC;J87>Wp+ st %to5>&#ֿ~ H*"p ADbuYBc/c:g)`O#2Eʓjȿ'Km8$wLJ: װVK4I pe3L& sf6Qc5Br:X3ҷF#Wo{HgYZ0855880e28b25bce23a0b382e846acc593b36267 0f086e7ce11590731d04415bf2ffad59b0fe1d20 38f4f889341e004ef96c3834add35375ebee7827 9e6bb46a997cfda638368ba2bab19f2cf63b764e b6cb0829cc7b7d74d66dd4a2e3b203d490ba53e3 ba2960b5a124c441ca56e5073b9f81fa76807dad bb0ae60a659faa69a8c367edca05d38dad1346b2 c8ea9a9a84b86a0d86a3876ac7167952558034c5 d81d8b286eee67f6a658f1e82237d21546efbe3f e1dc4bf60a9705e1fcb3ce5588fb107ab09748ee fd9cc54c27b597ae5b136f86c407036656d4fe7e554fc66833c1e501a5e5c7ff24471873df0a1f56 609027c0b5e2d5a13a9424abded96d9da8b41772 1fe86f871095b19d2c4bffa1d8b42aa984545607 a386d9274c4a28b153ad82b9819b86d6895408ebca7f72f2a6420c24a3f8a4ec18d5d24227be6168 - Relation_Algebra